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

conceptual schemadeductive databasesfirst order logicgraphical interfacePrologquery language

Mathematics Subject Classification ID

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

Review text

Deductive databases are based on first order logic, which can be used to express databases, queries, integrity constraints, views and programs. Although extensive research has been done in the field of deductive databases, little consideration has been given to a formal organization of the information being represented. A new conceptual schema formalism, based directly on first order logic, is described together with its definition in logic. The graphical representation for this formalism provides the basis for a simple, concise graphical query language with the expressive power of first order logic.

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)

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

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)