Pattern matching by Rs-operations: towards a unified approach to querying sequenced data

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.

[1]  Jeffrey D. Ullman,et al.  Formal languages and their relation to automata , 1969, Addison-Wesley series in computer science and information processing.

[2]  François Bancilhon,et al.  A query language for the O 2 object-oriented databases , 1989 .

[3]  O. Deux,et al.  The O2 system , 1991 .

[4]  David J. DeWitt,et al.  Algebraic support for complex objects with arrays, identity, and inheritance , 1991, SIGMOD '91.

[5]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[6]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[7]  Michael Stonebraker,et al.  Database systems: achievements and opportunities , 1990, SGMD.

[8]  Alfred V. Aho,et al.  The awk programming language , 1988 .

[9]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[10]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[11]  Stephanie W. Haas,et al.  The constituent object parser: syntactic structure matching for information retrieval , 1989, SIGIR '89.

[12]  P Pistor,et al.  A database language for sets, lists and tables , 1986, Inf. Syst..

[13]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[14]  Michael Stonebraker,et al.  Third-generation database system manifesto , 1990, SGMD.

[15]  David J. DeWitt,et al.  A data model and query language for EXODUS , 1988, SIGMOD '88.

[16]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[17]  Changjie Tang,et al.  Canonical Forms for Interval Functions , 1987, Theor. Comput. Sci..