On derived dependencies and connected databases

DOI10.1016/0743-1066(91)90017-JzbMath0735.68023WikidataQ114683454 ScholiaQ114683454MaRDI QIDQ3983123

Philip W. Dart

Publication date: 27 June 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

SLDNF-resolutionallowed databasesconnected databases

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (6)

The quotient of an abstract interpretation ⋮ Constrained dependencies ⋮ The powerset operator on abstract interpretations ⋮ Design of abstract domains using first-order logic ⋮ The reduced relative power operation on abstract domains ⋮ Finite-tree analysis for constraint logic-based languages

This page was built for publication: On derived dependencies and connected databases