TY - JOUR
T1 - A relational division operator
T2 - the conjugate kernel
AU - Desharnais, Jules
AU - Jaoua, Ali
AU - Mili, Fatma
AU - Boudriga, Noureddine
AU - Mili, Ali
N1 - Funding Information:
Correspondence to: A. Mili, Department of Computer Science, University of Ottawa, Ottawa, ON KIN 6N5, Canada. * Both supported by grants from I‘Universite Laval, FCAR (Quebec) and NSERC (Canada). ** Partial support for this work has been provided by NSF. ***This work is partially supported by grants from FRST, Tunis.
PY - 1993/6/21
Y1 - 1993/6/21
N2 - We discuss a binary operator on relations which has division like properties. We review the mathematical properties of this operator and then investigate its relevance to program construction.
AB - We discuss a binary operator on relations which has division like properties. We review the mathematical properties of this operator and then investigate its relevance to program construction.
UR - http://www.scopus.com/inward/record.url?scp=0027610357&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0027610357&partnerID=8YFLogxK
U2 - 10.1016/0304-3975(93)90074-4
DO - 10.1016/0304-3975(93)90074-4
M3 - Article
AN - SCOPUS:0027610357
SN - 0304-3975
VL - 114
SP - 247
EP - 272
JO - Theoretical Computer Science
JF - Theoretical Computer Science
IS - 2
ER -