A relational division operator: the conjugate kernel

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

Research output: Contribution to journalArticlepeer-review

22 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 languageEnglish (US)
Pages (from-to)247-272
Number of pages26
JournalTheoretical Computer Science
Volume114
Issue number2
DOIs
StatePublished - Jun 21 1993
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A relational division operator: the conjugate kernel'. Together they form a unique fingerprint.

Cite this