On first-order-logic databases

DOI10.1145/27629.27630zbMath0637.68108OpenAlexW2008484875WikidataQ56228404 ScholiaQ56228404MaRDI QIDQ3777499

Henryk Rybinski

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

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

Related Items (3)

Logic based structure rewriting systems ⋮ A logic for programming with complex objects ⋮ An Algorithmic Logic Approach to Formalizing Database Update Semantics

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