The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Procedural languages for database queries and updates
Journal of Computer and System Sciences
Query languages for hierarchic databases
Information and Computation
Algebraic and calculus query languages for recursively typed complex objects
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Computing with first-order logic
Selected papers of the 23rd annual ACM symposium on Theory of computing
The expressive power of complex values in object-based data models
Information and Computation
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the completeness of object-creating database transformation languages
Journal of the ACM (JACM)
Computational real algebraic geometry
Handbook of discrete and computational geometry
Object identity as a query language primitive
Journal of the ACM (JACM)
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Complete geometric query languages
Journal of Computer and System Sciences
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Relational queries over interpreted structures
Journal of the ACM (JACM)
Constraint databases: a tutorial introduction
ACM SIGMOD Record
A relational model of data for large shared data banks
Communications of the ACM
String operations in query languages
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Database Management Systems
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Query Processing Strategy for the Decomposed Storage Model
Proceedings of the Third International Conference on Data Engineering
Constraint Databases: A Survey
Selected Papers from a Workshop on Semantics in Databases
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
On First-Order Topological Queries
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Algorithms in semi-algebraic geometry
Algorithms in semi-algebraic geometry
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
First-order expressibility of languages with neutral letters or: The Crane Beach conjecture
Journal of Computer and System Sciences
XML navigation and tarski's relation algebras
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
An application of relation algebra to lexical databases
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Algebraization of hybrid logic with binders
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
An FCA interpretation of relation algebra
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
| Hi-index | 0.04 |
Many ideas of Alfred Tarski - one of the founders of modern logic - find application in database theory. We survey some of them with no attempt at comprehensiveness. Topics discussed include the genericity of database queries; the relational algebra, the Tarskian definition of truth for the relational calculus, and cylindric algebras; relation algebras and computationally complete query languages; real polynomial constraint databases; and geometrical query languages.