Finite queries do not have effective syntax.

DOI10.1006/INCO.1999.2792MaRDI QIDQ1854305zbMATH OpenOpenAlexFDO

Authors Alexei P. Stolboushkin, Michael A. Taitslin

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1999.2792

zbMATH Keywords

relational databases

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 3980540
• scientific article; zbMATH DE number 1302667
• Relational expressive power of constraint query languages
• Domain independence and the relational calculus
• Safe Constraint Queries

Cites work

• scientific article; zbMATH DE number 3890770 (Why is no real title available?)
• scientific article; zbMATH DE number 4043325 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 408797 (Why is no real title available?)
• scientific article; zbMATH DE number 3229491 (Why is no real title available?)
• scientific article; zbMATH DE number 3316928 (Why is no real title available?)
• scientific article; zbMATH DE number 3365234 (Why is no real title available?)
• scientific article; zbMATH DE number 3194530 (Why is no real title available?)
• A relational model of data for large shared data banks
• The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
• The decision problem for database dependencies

Cited in

(8)

• scientific article; zbMATH DE number 4043325 (Why is no real title available?)
• Well-definedness and semantic type-checking for the nested relational calculus
• scientific article; zbMATH DE number 4126721 (Why is no real title available?)
• Syntactical characterization of a subset of domain-independent formulas
• On the decidability and axiomatization of query finiteness in deductive databases
• Efficient Evaluation of Arbitrary Relational Calculus Queries
• In memoriam: Mikhail A. Taitslin, 1936--2013
• On inflationary fix-point operators safety

This page was built for publication: Finite queries do not have effective syntax.

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