Computing with infinitary logic

DOI10.1016/0304-3975(95)00027-TzbMath0874.68274MaRDI QIDQ672337

Victor Vianu, Moshe Y. Vardi, Serge Abiteboul

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

infinitary logicquery languages

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27)

Related Items

Computing on structures, Computable Queries for Object Oriented Databases, On the expressibility and the computability of untyped queries, Reflective relational machines, The Relational Polynomial-Time Hierarchy and Second-Order Logic, Topological queries in spatial databases

Cites Work

• Finite-model theory -- A personal perspective
• Computable queries for relational data bases
• Datalog extensions for database queries and updates
• Infinitary logics and 0-1 laws
• Structure and complexity of relational queries
• Computing with first-order logic
• Infinitary logic and inductive definability over finite structures
• On datalog vs polynomial time
• On uniformity within \(NC^ 1\)
• Relational queries computable in polynomial time
• On Moschovakis closure ordinals
• Fixpoint logics, relational machines, and computational complexity
• Computing on structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item