Computable Queries for Object Oriented Databases

DOI10.1016/S1571-0661(04)80555-3zbMath1261.68052OpenAlexW2032942057MaRDI QIDQ4916216

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

finite model theoryobject oriented databasecomputable queryreflective machine

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing with infinitary logic
• Descriptive characterizations of computational complexity
• Computable queries for relational data bases
• On the expressive power of database queries with intermediate types
• Reflective relational machines
• Structure and complexity of relational queries
• Computing with first-order logic
• La logique des topos
• Fixpoint logics, relational machines, and computational complexity
• On the expressibility and the computability of untyped queries

This page was built for publication: Computable Queries for Object Oriented Databases