Finite Query Languages for Sequence Databases.

@inproceedings{DBLP:conf/dbpl/MeccaB95,
  author    = {Giansalvatore Mecca and
               Anthony J. Bonner},
  editor    = {Paolo Atzeni and
               Val Tannen},
  title     = {Finite Query Languages for Sequence Databases},
  booktitle = {Database Programming Languages (DBPL-5), Proceedings of the Fifth
               International Workshop on Database Programming Languages, Gubbio,
               Umbria, Italy, 6-8 September 1995},
  publisher = {Springer},
  series    = {Electronic Workshops in Computing},
  year      = {1995},
  isbn      = {3-540-76086-5},
  pages     = {12},
  ee        = {db/conf/dbpl/MeccaB95.html},
  crossref  = {DBLP:conf/dbpl/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-5 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
Contents

[2]

Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991)

[3]

Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982)

[4]

Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. DOOD 1989: 223-240

[5]

Paolo Atzeni (Ed.): LOGIDATA+: Deductive Databases with Complex Objects. Lecture Notes in Computer Science Vol. 701 Springer 1993, ISBN 3-540-56974-X
Contents

[6]

François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52

[7]

Anthony J. Bonner: Hypothetical Datalog: Complexity and Expressibility. Theor. Comput. Sci. 76(1): 3-51(1990)

[8]

Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19

[9]

Val Tannen, Peter Buneman, Limsoon Wong: Naturally Embedded Query Languages. ICDT 1992: 140-154

[10]

Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980)

[11]

Latha S. Colby, Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht: A Query Language for List-Based Complex Objects. PODS 1994: 179-189

[12]

Karen A. Frenkel: The Human Genome Project and Informatics. Commun. ACM 34(11): 40-51(1991)

[13]

Seymour Ginsburg, Xiaoyang Sean Wang: Pattern Matching by Rs-Operations: Toward a Unified Approach to Querying Sequenced Data. PODS 1992: 293-300

[14]

Gaston H. Gonnet: Tutorial: Text Dominated Databases, Theory Practice and Experience. PODS 1994: 301-302

[15]

Gösta Grahne, Matti Nykänen, Esko Ukkonen: Reasoning about Strings in Databases. PODS 1994: 303-312

[16]

Stéphane Grumbach, Tova Milo: An Algebra for Pomsets. ICDT 1995: 191-207

[17]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7

[18]

...

[19]

Giansalvatore Mecca, Anthony J. Bonner: Sequences, Datalog and Transducers. PODS 1995: 23-35

[20]

...

[21]

Joel E. Richardson: Supporting Lists in a Data Model (A Timely Approach). VLDB 1992: 127-138

[22]

Douglas Stott Parker Jr., Eric Simon, Patrick Valduriez: SVP: A Model Capturing Sets, Lists, Streams, and Parallelism. VLDB 1992: 115-126

[23]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976)

[24]

Allen Van Gelder, Rodney W. Topor: Safety and Translation of Relational Calculus Queries. ACM Trans. Database Syst. 16(2): 235-278(1991)

[25]

Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract). STOC 1982: 137-146