Structural Recursion as a Query Language.

@inproceedings{DBLP:conf/dbpl/TannenBN91,
  author    = {Val Tannen and
               Peter Buneman and
               Shamim A. Naqvi},
  editor    = {Paris C. Kanellakis and
               Joachim W. Schmidt},
  title     = {Structural Recursion as a Query Language},
  booktitle = {Database Programming Languages: Bulk Types and Persistent Data.
               3rd International Workshop, August 27-30, 1991, Nafplion, Greece,
               Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-242-9},
  pages     = {9-19},
  ee        = {db/conf/dbpl/TannenBN91.html},
  crossref  = {DBLP:conf/dbpl/91},
  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

[AB89]

Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995) BibTeX

[ACO83]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX

[AU79]

Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 BibTeX

[BBKV88]

François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105 BibTeX

[BJO89]

Peter Buneman, Achim Jung, Atsushi Ohori: Using Powerdomains to Generalize Relational Databases. Theor. Comput. Sci. 91(1): 23-55(1991) BibTeX

[BK86]

François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60 BibTeX

[BNST87]

Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37 BibTeX

[BS91]

Val Tannen, Ramesh Subrahmanyam: Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991: 60-75 BibTeX

[HS88]

Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. PODS 1988: 39-51 BibTeX

[INK91]

Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty: Incomplete Objects - A Data Model for Design and Planning Applications. SIGMOD Conference 1991: 288-297 BibTeX

[NT89]

Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
BibTeX

[OB88]

Atsushi Ohori, Peter Buneman: Type Inference in a Database Programming Language. LISP and Functional Programming 1988: 174-183 BibTeX

[OBB89]

Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57 BibTeX

[Sch77]

Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX

Referenced by

1. Alexandra Poulovassilis, Carol Small: Algebraic Query Optimisation for Database Programming Languages. VLDB J. 5(2): 119-132(1996)
2. Peter Buneman, Atsushi Ohori: Polymorphism and Type Inference in Database Programming. ACM Trans. Database Syst. 21(1): 30-76(1996)
3. Catriel Beeri, Tova Milo, Paula Ta-Shma: On Genericity and Parametricity. PODS 1996: 104-116
4. Wolfram Clauß: Using Structural Recursion as Query Mechanism for Data Models with References. ER 1996: 134-145
5. Andreas Gawecki, Florian Matthes: Exploiting Persistent Intermediate Code Representations in Open Database Environments. EDBT 1996: 403-423
6. Malcolm P. Atkinson, Ronald Morrison: Orthogonally Persistent Object Systems. VLDB J. 4(3): 319-401(1995)
7. Antonio Albano, Giorgio Ghelli, Renzo Orsini: Fibonacci: A Programming Language for Object Databases. VLDB J. 4(3): 403-444(1995)
8. Peter Buneman, Susan B. Davidson, Kyle Hart, G. Christian Overton, Limsoon Wong: A Data Transformation System for Biological Data Sources. VLDB 1995: 158-169
9. Leonidas Fegaras, David Maier: Towards an Effective Calculus for Object Query Languages. SIGMOD Conference 1995: 47-58
10. Philippe Picouet, Victor Vianu: Semantics and Expressiveness Issues in Active Databases. PODS 1995: 126-138
11. Leonid Libkin: Normalizing Incomplete Databases. PODS 1995: 219-230
12. Marc Andries, Luca Cabibbo, Jan Paredaens, Jan Van den Bussche: Applying an Update Method to a Set of Receivers. PODS 1995: 208-218
13. Dan Suciu, Limsoon Wong: On Two Forms of Structural Recursion. ICDT 1995: 111-124
14. Stéphane Grumbach, Tova Milo: An Algebra for Pomsets. ICDT 1995: 191-207
15. Guozhu Dong, Jianwen Su: Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries. ICDT 1995: 397-410
16. Giansalvatore Mecca, Anthony J. Bonner: Finite Query Languages for Sequence Databases. DBPL 1995: 12
17. Leonid Libkin: Query Language Primitives for Programming with Incomplete Databases. DBPL 1995: 6
18. Anthony Kosky: Observational Distinguishability of Databases with Object Identity. DBPL 1995: 11
19. Leonidas Fegaras, David Maier: An Algebraic Framework for Physical OODB Design. DBPL 1995: 9
20. Guozhu Dong, Leonid Libkin, Limsoon Wong: On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL. DBPL 1995: 7
21. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
22. Alexandra Poulovassilis, Carol Small: Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages. VLDB 1994: 415-426
23. Val Tannen: Tutorial: Languages for Collection Types. PODS 1994: 150-154
24. Dan Suciu, Val Tannen: A Query Language for NC. PODS 1994: 167-178
25. Gerd G. Hillebrand, Paris C. Kanellakis: Functional Database Query Languages as Typed Lambda Calculi of Fixed Order. PODS 1994: 222-231
26. Latha S. Colby, Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht: A Query Language for List-Based Complex Objects. PODS 1994: 179-189
27. Serge Abiteboul, Sophie Cluet, Tova Milo: Querying and Updating the File. VLDB 1993: 73-84
28. Kumar V. Vadaparty, Y. Alp Aslandogan, Gultekin Özsoyoglu: Towards a Unified Visual Database Access. SIGMOD Conference 1993: 357-366
29. Limsoon Wong: Normal Forms and Conservative Properties for Query Languages over Collection Types. PODS 1993: 26-36
30. David Maier, Bennet Vance: A Call to Order. PODS 1993: 1-16
31. Leonid Libkin, Limsoon Wong: Semantic Representations and Query Languages for Or-sets. PODS 1993: 37-48
32. Bennet Vance: An Abstract Object-Oriented Query Execution Language. DBPL 1993: 176-199
33. Dan Suciu: Bounded Fixpoints for Complex Objects. DBPL 1993: 263-281
34. Leonid Libkin, Limsoon Wong: Aggregate Functions, Conservative Extensions, and Linear Orders. DBPL 1993: 282-294
35. Leonid Libkin, Limsoon Wong: Some Properties of Query Languages for Bags. DBPL 1993: 97-114
36. Theodore W. Leung, Gail Mitchell, Bharathi Subramanian, Bennet Vance, Scott L. Vandenberg, Stanley B. Zdonik: The AQUA Data Model and Algebra. DBPL 1993: 157-175
37. Leonidas Fegaras: Efficient Optimization of Iterative Queries. DBPL 1993: 200-225
38. Luca Cardelli, Florian Matthes, Martín Abadi: Extensible Grammars for Language Specialization. DBPL 1993: 11-31
39. Catriel Beeri, Paula Ta-Shma: Bulk Data Types, A Theoretical Approach. DBPL 1993: 80-96
40. Catriel Beeri, Tova Milo: Functional and Predicative Programming in OODB's. PODS 1992: 176-190
41. Catriel Beeri: New Data Models and Languages - the Challenge. PODS 1992: 1-15
42. Val Tannen, Peter Buneman, Limsoon Wong: Naturally Embedded Query Languages. ICDT 1992: 140-154
43. Florian Matthes, Joachim W. Schmidt: Bulk Types: Built-In or Add-On? DBPL 1991: 33-54
44. Peter Buneman, Atsushi Ohori: A Type System that Reconsiles Classes and Extents. DBPL 1991: 191-202