GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
Relational queries computable in polynomial time
Information and Control
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A query language for the O2 object-oriented databases
Proceedings of the second international workshop on Database programming languages
Hypothetical datalog: complexity and expressibility
Theoretical Computer Science
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
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
On the expressive power of database queries with intermediate types
Journal of Computer and System Sciences
Algebraic support for complex objects with arrays, identity, and inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
A new recursion-theoretic characterization of the polytime functions (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Pattern matching by Rs-operations: towards a unified approach to querying sequenced data
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Pattern matching by RS-operations: towards a unified approach to querying sequenced data
Pattern matching by RS-operations: towards a unified approach to querying sequenced data
A query language for list-based complex objects
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Text dominated databases, theory practice and experience (abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning about strings in databases
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Third-generation database system manifesto
ACM SIGMOD Record
LOGIDATA: Deductive Databases with Complex Objects
LOGIDATA: Deductive Databases with Complex Objects
ICDT '95 Proceedings of the 5th International Conference on Database Theory
PALM - A Pattern Language for Molecular Biology
Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology
Supporting Lists in a Data Model (A Timely Approach)
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
SVP: A Model Capturing Sets, Lists, Streams, and Parallelism
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
A query language for multidimensional arrays: design, implementation, and optimization techniques
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal Coupling Verification in Time Series Databases
Journal of Intelligent Information Systems - Data warehousing and knowledge discovery
A Database Approach for Modeling and Querying Video Data
IEEE Transactions on Knowledge and Data Engineering
Theorem Proving with Sequence Variables and Flexible Arity Symbols
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Implementing a Declarative String Query Language with String Restructuring
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Using Acceptors as Transducers
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
How to Make SQL Stand for String Query Language
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
Safety, translation and evaluation of alignment calculus
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
Hi-index | 0.00 |