On first-order-logic databases

DOI10.1145/27629.27630MaRDI QIDQ3777499zbMATH OpenOpenAlexWikidataFDO

Authors Henryk Rybiński

Publication date 1987

Published in ACM Transactions on Database Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/27629.27630

zbMATH Keywords

first-order logicdata modeldatabase logicdatabase completenesssemantic database

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05) Classical first-order logic (03B10) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3874667
• scientific article; zbMATH DE number 3860438
• On compiling queries in recursive first-order databases
• Conceptual schemas applied to deductive databases
• scientific article; zbMATH DE number 4104930

Cited in

(11)

• The first-order logical environment
• Many-Sorted First-Order Logic Database Language
• Top-down query processing in first-order deductive databases under the DWFS
• Intensional First-Order Logic for P2P Database Systems
• An Algorithmic Logic Approach to Formalizing Database Update Semantics
• Datalog vs first-order logic
• Intensional First-Order Logic
• First order data types and first order logic
• Logic based structure rewriting systems
• scientific article; zbMATH DE number 1696727 (Why is no real title available?)
• A logic for programming with complex objects

This page was built for publication: On first-order-logic databases

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