Conceptual schemas applied to deductive databases

DOI10.1016/0306-4379(88)90039-7MaRDI QIDQ1114443zbMATH OpenOpenAlexFDO

Authors Philip W. Dart, Justin Zobel

Publication date 1988

Published in Information Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0306-4379(88)90039-7

zbMATH Keywords

Prologquery languagefirst order logicdeductive databasesconceptual schemagraphical interface

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 3874667
• Designing deductive databases
• scientific article; zbMATH DE number 3917748
• scientific article; zbMATH DE number 545140
• scientific article; zbMATH DE number 975701

Cited in

(13)

• scientific article; zbMATH DE number 975702 (Why is no real title available?)
• Declarative output by ordering text pieces
• scientific article; zbMATH DE number 3874667 (Why is no real title available?)
• KI 2004: Advances in Artificial Intelligence
• Semantics and properties of existential quantifiers in deductive databases
• A deductive database on Aristotelian logic
• A basis for deductive database systems II
• On first-order-logic databases
• Protecting deductive databases from unauthorized retrieval and update requests
• Designing deductive databases
• Representing and reasoning on database conceptual schemas
• A rule-based approach to analyzing database schema objects with Datalog
• On the abductive or deductive nature of database schema validation and update processing problems

This page was built for publication: Conceptual schemas applied to deductive databases

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