Computable queries for object oriented databases

DOI10.1016/S1571-0661(04)80555-3MaRDI QIDQ4916216zbMATH OpenOpenAlexFDO

Authors Klaus-Dieter Schewe, Jose Maria Turull Torres

Publication date 19 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80555-3

zbMATH Keywords

computable queryfinite model theoryobject oriented databasereflective machine

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Database theory (68P15)

Recommendations

• On the expressibility and the computability of untyped queries
• A Theory of Local Set Queries
• scientific article; zbMATH DE number 1264546
• scientific article; zbMATH DE number 1507289
• Reflective relational machines

Cites work

• Computable queries for relational data bases
• Computing with first-order logic
• Computing with infinitary logic
• Descriptive characterizations of computational complexity
• Fixpoint logics, relational machines, and computational complexity
• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 566081 (Why is no real title available?)
• scientific article; zbMATH DE number 1950753 (Why is no real title available?)
• scientific article; zbMATH DE number 1507289 (Why is no real title available?)
• scientific article; zbMATH DE number 1552575 (Why is no real title available?)
• La logique des topos
• On the expressibility and the computability of untyped queries
• On the expressive power of database queries with intermediate types
• Reflective relational machines
• Structure and complexity of relational queries

Cited in

(6)

• Choiceless polynomial time
• scientific article; zbMATH DE number 8791 (Why is no real title available?)
• scientific article; zbMATH DE number 1304041 (Why is no real title available?)
• scientific article; zbMATH DE number 5034153 (Why is no real title available?)
• On the expressibility and the computability of untyped queries
• On instance-completeness for database query languages involving object creation.

This page was built for publication: Computable queries for object oriented databases

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