scientific article; zbMATH DE number 605773

MaRDI QIDQ4301150zbMATH OpenFDO

Authors Bert De Brock

Publication date 13 July 1994

zbMATH Keywords

data dictionarydatabase universeformal specification of databasesretrievalSQL

Mathematics Subject Classification ID

Database theory (68P15) Discrete mathematics in relation to computer science (68R99)

Recommendations

• Foundations of semantic web databases
• scientific article; zbMATH DE number 1950743
• Semantics in databases
• Semantics in Data and Knowledge Bases
• Foundations of RDF Databases
• scientific article; zbMATH DE number 3972251
• scientific article; zbMATH DE number 870410
• Databases as ontologies

Cited in

(17)

• Semantics in databases
• Epsilon-logic is more expressive than first-order logic over finite structures
• On the unusual effectiveness of logic in computer science
• Verification, validation, and integrity issues in expert and database systems: Two perspectives
• Dependence logic in pregeometries and -stable theories
• Efficient computation of the well-founded semantics over big data
• Almost Everywhere Equivalence of Logics in Finite Model Theory
• Towards a characterization of order-invariant queries over tame graphs
• scientific article; zbMATH DE number 3904004 (Why is no real title available?)
• scientific article; zbMATH DE number 1790377 (Why is no real title available?)
• scientific article; zbMATH DE number 870410 (Why is no real title available?)
• Notions of locality and their logical characterizations over finite models
• Extended magic for negation: efficient demand-driven evaluation of stratified Datalog with precise complexity guarantees
• Successor-invariant first-order logic on finite structures
• About yes/no queries against possibilistic databases
• Completeness and Herbrand theorems for nominal logic
• Semantics in Data and Knowledge Bases

This page was built for publication:

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