GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
A calculus for complex objects
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
The powerset algebra as a result of adding programming constructs to the nested relational algebra
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
On the complexity of queries in the logical data model
Lecture notes in computer science on ICDT '88
On the expressive power of database queries with intermediate types
Journal of Computer and System Sciences
Possibilities and limitations of using flat operators in nested algebra expressions
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the expressive power of database queries with intermediate types
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Procedural and declarative database update languages
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A relational model of data for large shared data banks
Communications of the ACM
A new approach to database logic
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Making smalltalk a database system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Extended Algebra and Calculus for ~1NF Relational Databases
Extended Algebra and Calculus for ~1NF Relational Databases
On accessing object-oriented databases: expressive power, complexity, and restrictions
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
IDLOG: extending the expressive power of deductive database languages
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
ACM SIGACT News
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
Generic Computation and its complexity
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
The expressiveness of a family of finite set languages
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Tractable query languages for complex object databases
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A non-deterministic deductive database language
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Semi-determinism (extended abstract)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards tractable algebras for bags
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Speculative query evaluation over databases of plans
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A nested-graph model for the representation and manipulation of complex objects
ACM Transactions on Information Systems (TOIS)
A query language for list-based complex objects
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of nonrecursive logic programs with complex values
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Object identity as a query language primitive
Journal of the ACM (JACM)
Computing queries with higher-order logics
Theoretical Computer Science - Logic, language, information and computation
The Relational Polynomial-Time Hierarchy and Second-Order Logic
Semantics in Data and Knowledge Bases
A Fixed-Point Query Language for XML
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Hi-index | 0.00 |
Conventional database query languages are considered in the context of untyped sets. The algebra without while has the expressive power of the typed complex object algebra. The algebra plus while, and COL with untyped sets (under stratified semantics or inflationary semantics) have the power of the computable queries. The calculus has power beyond the computable queries; and is characterized using the typed complex object calculus with invention. The Bancilhon-Khoshafian calculus is also discussed. A technical tool, called “generic Turing machine”, is introduced and used in several of the proofs.