Principles of Programming with Complex Objects and Collection Types

[1]  Leonid Libkin,et al.  Aspects of partial information in databases , 1995 .

[2]  David Maier,et al.  Towards an effective calculus for object query languages , 1995, SIGMOD '95.

[3]  Gerd G. Hillebrand,et al.  Space Usage in Functional Query Languages , 1995, ICDT.

[4]  Leonid Libkin,et al.  Approximation in Databases , 1995, ICDT.

[5]  Dan Suciu,et al.  On Two Forms of Structural Recursion , 1995, ICDT.

[6]  Dan Suciu.  Domain-Independent Queries on Databases with External Functions , 1995, ICDT.

[7]  Leonid Libkin,et al.  OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications , 1994, DEXA.

[8]  Dan Suciu,et al.  Any algorithm in the complex object algebra with powerset needs exponential space to compute transitive closure , 1994, PODS '94.

[9]  Dan Suciu,et al.  A query language for NC , 1994, PODS '94.

[10]  Limsoon Wong,et al.  New techniques for studying set languages, bag languages and aggregate functions , 1994, PODS '94.

[11]  Limsoon Wong,et al.  Conservativity of Nested Relational Calculi with Internal Generic Functions , 1994, Inf. Process. Lett..

[12]  Dan Suciu,et al.  Comprehension syntax , 1994, SGMD.

[13]  Limsoon Wong,et al.  Querying Nested Collections , 1994 .

[14]  Limsoon Wong,et al.  Some Properties of Query Languages for Bags , 1993, DBPL.

[15]  Limsoon Wong,et al.  Aggregate Functions, Conservative Extensions, and Linear Orders , 1993, DBPL.

[16]  Leonidas Fegaras.  Efficient Optimization of Iterative Queries , 1993, DBPL.

[17]  Limsoon Wong,et al.  Normal forms and conservative properties for query languages over collection types , 1993, PODS.

[18]  L. Libkin,et al.  Semantic representations and query languages for or-sets , 1993, PODS '93.

[19]  Harry G. Mairson,et al.  Database query languages embedded in the typed lambda calculus , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.

[20]  Peter Buneman.  The Fast Fourier Transforms as a Database Query , 1993 .

[21]  Dan Suciu,et al.  Fixpoints and Bounded Fixpoints for Complex Objects , 1993 .

[22]  Limsoon Wong,et al.  Naturally Embedded Query Languages , 1992, ICDT.

[23]  Marc Gyssens,et al.  The Powerset Algebra as a Natural Tool to Handle Nested Database Relations , 1992, J. Comput. Syst. Sci..

[24]  Dirk Van Gucht,et al.  Converting nested algebra expressions into flat algebra expressions , 1992, TODS.

[25]  Philip Wadler,et al.  Comprehending monads , 1990, Mathematical Structures in Computer Science.

[26]  Philip W. Trinder,et al.  Comprehensions, a Query Notation for DBPLs , 1992, DBPL.

[27]  Peter Buneman,et al.  Structural Recursion as a Query Language , 1992, DBPL.

[28]  Tomasz Imielinski,et al.  Querying Design and Planning Databases , 1991, DOOD.

[29]  Marc Gyssens,et al.  A Comparison between Algebraic Query Languages for Flat and Nested Databases , 1991, Theor. Comput. Sci..

[30]  Eugenio Moggi,et al.  Notions of Computation and Monads , 1991, Inf. Comput..

[31]  Val Tannen,et al.  Logical and Computational Aspects of Programming with Sets/Bags/Lists , 1991, ICALP.

[32]  Neil Immerman,et al.  The expressiveness of a family of finite set languages , 1991, PODS '91.

[33]  Latha S. Colby.  A recursive algebra for nested relations , 1990, Inf. Syst..

[34]  S. Abiteboul,et al.  Fixpoint extensions of first-order logic and datalog-like languages , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[35]  Peter Buneman,et al.  Database programming in Machiavelli—a polymorphic language with static type inference , 1989, SIGMOD '89.

[36]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[37]  Patrick Valduriez,et al.  FAD, a Powerful and Simple Database Language , 1987, VLDB.

[38]  Catriel Beeri,et al.  On the power of languages for manipulation of complex objects , 1987, VLDB 1987.

[39]  Hans-Jörg Schek,et al.  The relational model with relation-valued attributes , 1986, Inf. Syst..

[40]  Silvio Micali,et al.  Advances in Computing Research: The Theory of Databases , 1986 .

[41]  Patrick C. Fischer,et al.  Nested Relational Structures , 1986, Adv. Comput. Res..

[42]  J. Lambek,et al.  Introduction to higher order categorical logic , 1986 .

[43]  Lambert Meertens,et al.  Algorithmics : towards programming as a mathematical activity , 1986 .

[44]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

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

[46]  Peter Buneman,et al.  An implementation technique for database query languages , 1982, TODS.

[47]  Hans-Jörg Schek,et al.  Remarks on the algebra of non first normal form relations , 1982, PODS.

[48]  J. A. Goguen,et al.  Completeness of many-sorted equational logic , 1981, SIGP.

[49]  Ian A. Macleod.  A data base management system for document retrieval applications , 1981, Inf. Syst..

[50]  David Harel,et al.  Structure and complexity of relational queries , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[51]  David Harel,et al.  Computable Queries for Relational Data Bases , 1980, J. Comput. Syst. Sci..

[52]  Alfred V. Aho,et al.  Universality of data retrieval languages , 1979, POPL.

[53]  Akifumi Makinouchi,et al.  A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model , 1977, VLDB.

[54]  K. Mani Chandy,et al.  Current trends in programming methodology , 1977 .

[55]  M. A. Griffin,et al.  Information Processing Systems , 1976 .

[56]  S. Lane.  Categories for the Working Mathematician , 1971 .

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