GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
A database language for sets, lists and tables
Information Systems
The AWK programming language
Canonical forms for interval functions
Theoretical Computer Science
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A data model and query language for EXODUS
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
The constituent object parser: syntactic structure matching for information retrieval
ACM Transactions on Information Systems (TOIS)
A query language for the O2 object-oriented databases
Proceedings of the second international workshop on Database programming languages
Algebraic support for complex objects with arrays, identity, and inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Database systems: achievements and opportunities
ACM SIGMOD Record - Directions for future database research & development
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Third-generation database system manifesto
ACM SIGMOD Record
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Formal languages and their relation to automata
Formal languages and their relation to automata
A query language for list-based complex objects
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
Sequences, Datalog and transducers
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
String operations in query languages
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query Languages for Sequence Databases: Termination and Complexity
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
Supporting Lists in a Data Model (A Timely Approach)
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
The Design and Implementation of a Sequence Database System
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
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
Definable relations and first-order query languages over strings
Journal of the ACM (JACM)
Safety, translation and evaluation of alignment calculus
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
| Hi-index | 0.00 |
A family of sequence operations (rs-operations), based on pattern matching and including most of the “natural” operations on sequences, is introduced. In order to apply rs-operations to calculus-like query languages, a logic about sequences (SL) is defined by converting rs-operations to special predicates. To illustrate the applicability of our concepts to database queries, rs-operations and SL are used in an algebra and a calculus, respectively, over an extended relational data model containing sequences.