Relational queries over interpreted structures
From MaRDI portal
Publication:3457752
DOI10.1145/347476.347477zbMATH Open1327.68089OpenAlexW2031856459MaRDI QIDQ3457752FDOQ3457752
Authors: Michael Benedikt, Leonid Libkin 
Publication date: 17 December 2015
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/347476.347477
Recommendations
- Representations and query languages of nested relations
- Dynamic query interpretation in relational databases
- scientific article; zbMATH DE number 1319352
- Translating relational queries into iterative programs
- scientific article; zbMATH DE number 1950753
- Relational expressive power of constraint query languages
- On database query languages for K-relations
- Abstract interpretation of database query languages
Model theory of finite structures (03C13) Database theory (68P15) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)
Cited In (15)
- Efficient Evaluation of Arbitrary Relational Calculus Queries
- Quantifier rank for parity of embedded finite models.
- On database query languages for K-relations
- Title not available (Why is that?)
- Aggregate operators in constraint query languages
- Reachability and connectivity queries in constraint databases
- An expressive language for linear spatial database queries
- The past and future of embedded finite model theory
- Abstract interpretation of database query languages
- Uniform generation in spatial constraint databases and applications
- Dynamic query interpretation in relational databases
- Logical theories and compatible operations
- Relational expressive power of constraint query languages
- An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
- Stability theory, permutations of indiscernibles, and embedded finite models
This page was built for publication: Relational queries over interpreted structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457752)
