Mutually complementary formalizations of deductive query languages

DOI10.1007/BF01130083zbMath0939.68608MaRDI QIDQ1895016

V. I. Zadorozhnyj, N. S. Nikitchenko, L. A. Kalinichenko

Publication date: 6 August 1995

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• The Galois connection between partial operations and relations
• Maximal local classes of partial functions of infinite-valued logic
• Une généralisation de la notion de corps
• The algebras of partial functions and their invariants
• Extension of not everywhere defined functions of many-valued logic
• Universal algebras with all operations of bounded range

This page was built for publication: Mutually complementary formalizations of deductive query languages