First-order queries on databases embedded in an infinite structure

DOI10.1016/S0020-0190(96)00140-8MaRDI QIDQ1350000zbMATH OpenOpenAlexFDO

Authors Martin Otto, Jan Van den Bussche

Publication date 27 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0190(96)00140-8

zbMATH Keywords

Model theoryDatabasesFirst-order logicQueryRelational databases

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• First-Order Queries on Finite Structures Over the Reals
• First-order queries on classes of structures with bounded expansion
• Enumerating answers to first-order queries over databases of low degree
• On compiling queries in recursive first-order databases
• Database Theory - ICDT 2005
• First-order query rewriting for inconsistent databases
• The complexity of querying indefinite data about linearly ordered domains
• Arity bounds in first-order incremental evaluation and definition of polynomial time database queries
• The tractability frontier of graph-like first-order query sets
• The tractability frontier of graph-like first-order query sets

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• Classifying regular events in symbolic logic
• Computable queries for relational data bases
• Definable Sets in Ordered Structures. I
• Model theory.
• Properties of almost all graphs and complexes

Cited in

(14)

• scientific article; zbMATH DE number 1302667 (Why is no real title available?)
• First-order queries on structures of bounded degree are computable with constant delay
• An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
• Extended order-generic queries
• Databases over a fixed infinite universe
• Sufficient conditions for effective translation of locally generic queries
• First-Order Queries over One Unary Function
• Stability theory, permutations of indiscernibles, and embedded finite models
• On first-order topological queries
• scientific article; zbMATH DE number 1688383 (Why is no real title available?)
• scientific article; zbMATH DE number 1392296 (Why is no real title available?)
• First-Order Queries on Finite Structures Over the Reals
• A linear time algorithm for monadic querying of indefinite data over linearly ordered domains
• scientific article; zbMATH DE number 2242592 (Why is no real title available?)

This page was built for publication: First-order queries on databases embedded in an infinite structure

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