Mutually complementary formalizations of deductive query languages

DOI10.1007/BF01130083MaRDI QIDQ1895016zbMATH OpenFDO

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

Publication date 6 August 1995

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

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 4181414 (Why is no real title available?)
• scientific article; zbMATH DE number 59352 (Why is no real title available?)
• Extension of not everywhere defined functions of many-valued logic
• Maximal local classes of partial functions of infinite-valued logic
• The Galois connection between partial operations and relations
• The algebras of partial functions and their invariants
• Une généralisation de la notion de corps
• Universal algebras with all operations of bounded range

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1895016)