Syntactical characterization of a subset of domain-independent formulas

DOI10.1145/147508.147520zbMath0799.68061OpenAlexW2071678764MaRDI QIDQ4302819

Robert Demolombe

Publication date: 21 August 1994

Published in: Journal of the ACM (Search for Journal in Brave)

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

zbMATH Keywords

model theoryquery languagesrelational modelquery formulationdomain-independent formulas

Mathematics Subject Classification ID

Database theory (68P15) Information storage and retrieval of data (68P20) Basic properties of first-order languages and structures (03C07)

Related Items (4)

Translation of first order formulas into ground formulas via a completion theory ⋮ A semantics for a class of non-deterministic and causal production system programs ⋮ Domain-independent formulas and databases ⋮ Safety, domain independence and translation of complex value database queries

This page was built for publication: Syntactical characterization of a subset of domain-independent formulas