scientific article; zbMATH DE number 605773

zbMath0842.68022MaRDI QIDQ4301150

Bert De Brock

Publication date: 13 July 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SQLretrievaldatabase universedata dictionaryformal specification of databases

Mathematics Subject Classification ID

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

Related Items

Successor-invariant first-order logic on finite structures, About yes/no queries against possibilistic databases, Efficient Computation of the Well-Founded Semantics over Big Data, Verification, validation, and integrity issues in expert and database systems: Two perspectives, Unnamed Item, Epsilon-logic is more expressive than first-order logic over finite structures, On the Unusual Effectiveness of Logic in Computer Science, Notions of locality and their logical characterizations over finite models, Towards a characterization of order-invariant queries over tame graphs, DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES, Completeness and Herbrand theorems for nominal logic, Almost Everywhere Equivalence of Logics in Finite Model Theory