A relational division operator: the conjugate kernel

Jules Desharnais; Ali Jaoua; Fatma Mili; Noureddine Boudriga; Ali Mili

doi:10.1016/0304-3975(93)90074-4

A relational division operator: the conjugate kernel

Jules Desharnais
, Ali Jaoua
, Fatma Mili
, Noureddine Boudriga
, Ali Mili

Research output: Contribution to journal › Article › peer-review

24 Scopus citations

Abstract

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.

Original language	English (US)
Pages (from-to)	247-272
Number of pages	26
Journal	Theoretical Computer Science
Volume	114
Issue number	2
DOIs	https://doi.org/10.1016/0304-3975(93)90074-4
State	Published - Jun 21 1993
Externally published	Yes

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1016/0304-3975(93)90074-4

Cite this

@article{b2841d38178248dd89fc10cd883d2d1a,

title = "A relational division operator: the conjugate kernel",

abstract = "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.",

author = "Jules Desharnais and Ali Jaoua and Fatma Mili and Noureddine Boudriga and Ali Mili",

note = "Funding Information: Correspondence to: A. Mili, Department of Computer Science, University of Ottawa, Ottawa, ON KIN 6N5, Canada. * Both supported by grants from I{\textquoteleft}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.",

year = "1993",

month = jun,

day = "21",

doi = "10.1016/0304-3975(93)90074-4",

language = "English (US)",

volume = "114",

pages = "247--272",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

number = "2",

}

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 - https://www.scopus.com/pages/publications/0027610357

UR - https://www.scopus.com/pages/publications/0027610357#tab=citedBy

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 -

A relational division operator: the conjugate kernel

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this