On derived dependencies and connected databases

DOI10.1016/0743-1066(91)90017-JMaRDI QIDQ3983123zbMATH OpenWikidataFDO

Authors Philip W. Dart

Publication date 27 June 1992

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

Full work available at URL https://doi.org/10.1016/0743-1066(91)90017-J

zbMATH Keywords

allowed databasesconnected databasesSLDNF-resolution

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 3974346
• scientific article; zbMATH DE number 4003563
• scientific article; zbMATH DE number 4078859
• scientific article; zbMATH DE number 4009860
• scientific article; zbMATH DE number 41085
• Dependencies in composite databases
• Dependencies in relational models of databases
• scientific article; zbMATH DE number 1355186
• scientific article; zbMATH DE number 2038176
• scientific article; zbMATH DE number 29556

Cited in

(8)

• The quotient of an abstract interpretation
• The reduced relative power operation on abstract domains
• Constrained dependencies
• The powerset operator on abstract interpretations
• Design of abstract domains using first-order logic
• scientific article; zbMATH DE number 4147563 (Why is no real title available?)
• Dependencies for an extended object-oriented database model
• Finite-tree analysis for constraint logic-based languages

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

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