scientific article; zbMATH DE number 1302667

MaRDI QIDQ4249219zbMATH OpenFDO

Authors Oleg Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin

Publication date 31 January 2002

Full work available at URL https://eudml.org/doc/208923

zbMATH Keywords

decidable theoryfinitely representable database statesinfinite domainorder queriesordered domainrecursive domainrelational databasestate-safety problem

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Database theory (68P15)

Recommendations

• Databases over a fixed infinite universe
• Infinite Probabilistic Databases
• scientific article; zbMATH DE number 7566047
• The View-Update Problem for Indefinite Databases
• First-order queries on databases embedded in an infinite structure
• Efficient representation and algebraic manipulation of infinite relations in paraconsistent databases
• Finitely representable databases
• Extremal theorems for databases
• scientific article; zbMATH DE number 2080031
• Independence in Infinite Probabilistic Databases

Cited in

(10)

• Extended order-generic queries
• Finitely representable databases
• Finite queries do not have effective syntax.
• Comparison of expressive power of some query languages for databases
• On inflationary fix-point operators safety
• The View-Update Problem for Indefinite Databases
• scientific article; zbMATH DE number 1114329 (Why is no real title available?)
• scientific article; zbMATH DE number 1515858 (Why is no real title available?)
• scientific article; zbMATH DE number 7566047 (Why is no real title available?)
• Databases over a fixed infinite universe

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 Q4249219)