Expressive power of SQL.

DOI10.1016/S0304-3975(02)00736-3MaRDI QIDQ1401278zbMATH OpenFDO

Authors Leonid Libkin

Publication date 17 August 2003

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

zbMATH Keywords

SQLQuery languagesAggregationDatabasesExpressive powerLocality

Mathematics Subject Classification ID

Theory of programming languages (68N15) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 2080461
• Comparison of expressive power of some query languages for databases
• scientific article; zbMATH DE number 176244
• Local properties of query languages
• Query languages for bags and aggregate functions

Cites work

• scientific article; zbMATH DE number 3819693 (Why is no real title available?)
• scientific article; zbMATH DE number 623591 (Why is no real title available?)
• scientific article; zbMATH DE number 830849 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 3266604 (Why is no real title available?)
• Comprehending monads
• Counting quantifiers, successor relations, and logarithmic space
• Descriptive complexity: a logician's approach to computation.
• Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
• Local properties of query languages
• Locality of order-invariant first-order formulas
• Logical hierarchies in PTIME
• Logics with aggregate operators
• Logics with counting and local properties
• Low-complexity aggregation in GraphLog and Datalog
• Metafinite model theory
• Natural proofs
• Normal forms and conservative extension properties for query languages over collection types
• Notions of locality and their logical characterizations over finite models
• ON GROUPING IN RELATIONAL ALGEBRA
• On monadic NP vs monadic co-NP
• On uniformity within \(NC^ 1\)
• Parallel computation with threshold functions
• Principles of programming with complex objects and collection types
• Query languages for bags and aggregate functions

Cited in

(9)

• On the expressiveness of \textsc{Lara}: a proposal for unifying linear and relational algebra
• On the expressive power of query languages for matrices
• On the expressive power of linear algebra on graphs
• Compositional semantics of the recursive queries in languages similar to SQL
• Comparison of expressive power of some query languages for databases
• Features of new standard of SQL language
• scientific article; zbMATH DE number 2080461 (Why is no real title available?)
• On matrices and \(K\)-relations
• scientific article; zbMATH DE number 176244 (Why is no real title available?)

Describes a project that uses

Uses Software

• GraphLog

This page was built for publication: Expressive power of SQL.

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