Safe Constraint Queries

DOI10.1137/S0097539798342484MaRDI QIDQ4943888zbMATH OpenFDO

Authors Michael Benedikt, Leonid Libkin

Publication date 19 March 2000

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/S0097539798342484

zbMATH Keywords

constraintsdatabasesfirst-order logicquery safety

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10) Model theory of finite structures (03C13) Models with special properties (saturated, rigid, etc.) (03C50) (n)-dimensional polytopes (52B11) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1515858
• scientific article; zbMATH DE number 1515855
• Relational expressive power of constraint query languages
• scientific article; zbMATH DE number 408797
• Safety, domain independence and translation of complex value database queries

Cited in

(16)

• Safety, domain independence and translation of complex value database queries
• An expressive language for linear spatial database queries
• Finite queries do not have effective syntax.
• Uniform generation in spatial constraint databases and applications
• A representation independent language for planar spatial databases with Euclidean distance
• On inflationary fix-point operators safety
• A safe relational calculus for functional logic deductive databases
• Safety signature for first-order languages and their applications
• scientific article; zbMATH DE number 4043325 (Why is no real title available?)
• scientific article; zbMATH DE number 408797 (Why is no real title available?)
• scientific article; zbMATH DE number 1515855 (Why is no real title available?)
• scientific article; zbMATH DE number 1515858 (Why is no real title available?)
• scientific article; zbMATH DE number 1836416 (Why is no real title available?)
• On the expressiveness of linear-constraint query languages for spatial databases
• Aggregate operators in constraint query languages
• Queries with external predicates

This page was built for publication: Safe Constraint Queries

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