An operator for composing deductive data bases with theories of constraints

DOI10.1007/3-540-59487-6_5zbMath1496.68124OpenAlexW1809138585MaRDI QIDQ5101441

D. Aquilino, C. Renso, P. Asirelli, Franco Turini

Publication date: 30 August 2022

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59487-6_5

zbMATH Keywords

deductive databases

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Integrity constraints in logic databases
• A kripke-kleene semantics for logic programs*
• The Semantics of Predicate Logic as a Programming Language
• A transformational approach to negation in logic programming

This page was built for publication: An operator for composing deductive data bases with theories of constraints