Computable Queries for Relational Data Bases.

@article{DBLP:journals/jcss/ChandraH80,
  author    = {Ashok K. Chandra and
               David Harel},
  title     = {Computable Queries for Relational Data Bases},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {21},
  number    = {2},
  year      = {1980},
  pages     = {156-178},
  ee        = {db/journals/jcss/ChandraH80.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Referenced by

1. Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Scalar Aggregation in FD-Inconsistent Databases. ICDT 2001: 39-53
2. Victor Vianu: Review - Computable Queries for Relational Data Bases. ACM SIGMOD Digital Review 2: (2000)
3. Richard T. Snodgrass, Serge Abiteboul, Sophie Cluet, Michael J. Franklin, Guy M. Lohman, David B. Lomet, Gultekin Özsoyoglu, Raghu Ramakrishnan, Kenneth A. Ross, Timos K. Sellis, Patrick Valduriez: Reminiscences on Influential Papers. SIGMOD Record 28(1): 110-114(1999)
4. Serge Abiteboul: Review - Computable Queries for Relational Data Bases. ACM SIGMOD Digital Review 1: (1999)
5. Anthony J. Bonner: Workflow, Transactions, and Datalog. PODS 1999: 294-305
6. Jose Maria Turull Torres: Reflective Relational Machines of Bounded Variable Complexity. ADBIS (Short Papers) 1999: 193-199
7. Alberto Belussi, Elisa Bertino, Barbara Catania: An Extended Algebra for Constraint Databases. IEEE Trans. Knowl. Data Eng. 10(5): 686-705(1998)
8. Richard T. Snodgrass, Laura M. Haas, Alberto O. Mendelzon, Z. Meral Özsoyoglu, Jan Paredaens, Krithi Ramamritham, Nick Roussopoulos, Jennifer Widom, Philip S. Yu: Reminiscences on Influential Papers. SIGMOD Record 27(4): 81-85(1998)
9. Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen: Typed Query Languages for Databases Containing Queries. PODS 1998: 189-196
10. Jose Maria Turull Torres: Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers. ADBIS 1998: 35-45
11. Alberto O. Mendelzon, Tova Milo: Formal Models of Web Queries. PODS 1997: 134-143
12. Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht: Complete Geometrical Query Languages. PODS 1997: 62-67
13. Michael Benedikt, Leonid Libkin: Languages for Relational Databases over Interpreted Structures. PODS 1997: 87-98
14. Serge Abiteboul, Victor Vianu: Queries and Computation on the Web. ICDT 1997: 262-275
15. Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini: Datalog and Description Logics: Expressive Power. DBPL 1997: 281-298
16. Anthony J. Bonner, Giansalvatore Mecca: Querying String Databases with Transducers. DBPL 1997: 118-135
17. Anthony J. Bonner: Modular Composition of Transaction Programs with Deductive Databases. DBPL 1997: 373-395
18. Catriel Beeri, Tova Milo, Paula Ta-Shma: Towards a Language for the Fully Generic Queries. DBPL 1997: 239-259
19. Daniel Knaus, Peter Schäuble: The System Architecture and the Transaction Concept of the SPIDER Information Retrieval System. IEEE Data Eng. Bull. 19(1): 43-52(1996)
20. David Toman: Point vs. Interval-based Query Languages for Temporal Databases. PODS 1996: 58-67
21. Marc Gyssens, Laks V. S. Lakshmanan, Iyer N. Subramanian: Tables as a Paradigm for Querying and Restructuring. PODS 1996: 93-103
22. Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong: Relational Expressive Power of Constraint Query Languages. PODS 1996: 5-16
23. Catriel Beeri, Tova Milo, Paula Ta-Shma: On Genericity and Parametricity. PODS 1996: 104-116
24. Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995)
25. Jan Paredaens, Peter Peelman, Letizia Tanca: G-Log: A Graph-Based Query Language. IEEE Trans. Knowl. Data Eng. 7(3): 436-453(1995)
26. Mark Levene, George Loizou: A Graph-Based Data Model and its Ramifications. IEEE Trans. Knowl. Data Eng. 7(5): 809-823(1995)
27. Moshe Y. Vardi: On the Complexity of Bounded-Variable Queries. PODS 1995: 266-276
28. Giansalvatore Mecca, Anthony J. Bonner: Sequences, Datalog and Transducers. PODS 1995: 23-35
29. Phokion G. Kolaitis: Combinatorial Games In Database Theory. PODS 1995: 231-232
30. Stéphane Grumbach, Jianwen Su: Dense-Order Constraint Databases. PODS 1995: 66-77
31. Guozhu Dong, Jianwen Su: Space-Bounded FOIES. PODS 1995: 139-150
32. Jerzy Tyszkiewicz: On the Kolmogorov Expressive Power of Boolean Query Languages. ICDT 1995: 97-110
33. Dan Suciu: Domain-Independent Queries on Databases with External Functions. ICDT 1995: 177-190
34. Peter Z. Revesz: Datalog Queries of Set Constraint Databases. ICDT 1995: 425-438
35. Jan Paredaens: Spatial Databases, The Final Frontier. ICDT 1995: 14-32
36. Stéphane Grumbach, Tova Milo: An Algebra for Pomsets. ICDT 1995: 191-207
37. Luca Cabibbo: On the Power of Stratified Logic Programs with Value Invention for Expressing Database Transformations. ICDT 1995: 208-221
38. Serge Abiteboul, Gerd G. Hillebrand: Space Usage in Functional Query Languages. ICDT 1995: 439-454
39. Giansalvatore Mecca, Anthony J. Bonner: Finite Query Languages for Sequence Databases. DBPL 1995: 12
40. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
41. James Clifford, Albert Croker, Alexander Tuzhilin: On Completeness of Historical Relational Query Languages. ACM Trans. Database Syst. 19(1): 64-116(1994)
42. Dan Suciu, Val Tannen: A Query Language for NC. PODS 1994: 167-178
43. Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht: Towards a Theory of Spatial Database Queries. PODS 1994: 279-288
44. Gerd G. Hillebrand, Paris C. Kanellakis: Functional Database Query Languages as Typed Lambda Calculi of Fixed Order. PODS 1994: 222-231
45. David Harel: Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). PODS 1994: 1-3
46. Stéphane Grumbach, Jianwen Su: Finitely Representable Databases. PODS 1994: 289-300
47. Latha S. Colby, Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht: A Query Language for List-Based Complex Objects. PODS 1994: 179-189
48. Surajit Chaudhuri, Moshe Y. Vardi: On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. PODS 1994: 107-116
49. Jan Chomicki, Tomasz Imielinski: Finite Representation of Infinite Query Answers. ACM Trans. Database Syst. 18(2): 181-223(1993)
50. Tirza Hirst, David Harel: Completeness Results for Recursive Data Bases. PODS 1993: 244-252
51. Stéphane Grumbach, Tova Milo: Towards Tractable Algebras for Bags. PODS 1993: 49-58
52. Karl Denninghoff, Victor Vianu: Database Method Schemas and Object Creation. PODS 1993: 265-275
53. Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen: Reflective Programming in the Relational Algebra. PODS 1993: 17-25
54. Dan Suciu: Bounded Fixpoints for Complex Objects. DBPL 1993: 263-281
55. Anthony J. Bonner, Michael Kifer, Mariano P. Consens: Database Programming in Transaction Logic. DBPL 1993: 309-337
56. Surajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. PODS 1992: 55-66
57. Jan Van den Bussche, Dirk Van Gucht: Semi-determinism. PODS 1992: 191-201
58. Serge Abiteboul, Kevin J. Compton, Victor Vianu: Queries Are Easier Than You Thought (Probably). PODS 1992: 23-32
59. Stéphane Grumbach, Christophe Tollu: Query Languages with Counters. ICDT 1992: 124-139
60. Stéphane Grumbach: A Paradox in Database Theory. ICDT 1992: 312-325
61. Jan Van den Bussche, Dirk Van Gucht: A Hierarchy of Faithful Set Creation in Pure OODB's. ICDT 1992: 326-340
62. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. ICDT 1992: 113-123
63. Serge Abiteboul, Stéphane Grumbach: A Rule-Based Language with Functions and Sets. ACM Trans. Database Syst. 16(1): 1-30(1991)
64. Karl Denninghoff, Victor Vianu: The Power of Methods With Parallel Semantics. VLDB 1991: 221-232
65. Yeh-Heng Sheng: A Non-deterministic Deductive Database Language. SIGMOD Conference 1991: 188-197
66. Neil Immerman, Sushant Patnaik, David W. Stemple: The Expressiveness of a Family of Finite Set Languages. PODS 1991: 37-52
67. Stéphane Grumbach, Victor Vianu: Tractable Query Languages for Complex Object Databases. PODS 1991: 315-327
68. Stéphane Grumbach, Victor Vianu: Expressiveness and Complexity of Restricted Languages for Complex Objects. DBPL 1991: 111-122
69. Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468
70. Yeh-Heng Sheng: IDLOG: Extending the Expressive Power of Deductive Database Languages. SIGMOD Conference 1990: 54-63
71. Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. PODS 1990: 61-71
72. Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. PODS 1990: 299-313
73. Jan Chomicki: Polynomial Time Query Processing in Temporal Deductive Databases. PODS 1990: 379-391
74. Serge Abiteboul, Eric Simon, Victor Vianu: Non-Deterministic Languages to Express Deterministic Transformations. PODS 1990: 218-229
75. Peter Z. Revesz: A Closed Form for Datalog Queries with Integer Order. ICDT 1990: 187-201
76. Catriel Beeri, Yoram Kornatzky: The Many Faces of Query Monotonicity. EDBT 1990: 120-135
77. Richard Hull, Jianwen Su: On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). SIGMOD Conference 1989: 147-158
78. Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173
79. Richard Hull, Jianwen Su: Untyped Sets, Invention, and Computable Queries. PODS 1989: 347-359
80. Stavros S. Cosmadakis: On the First-Order Expressibility of Recursive Queries. PODS 1989: 311-323
81. Anthony J. Bonner: Hypothetical Datalog: Negation and Linear Recursion. PODS 1989: 286-300
82. Victor Vianu, Gottfried Vossen: Goal-Oriented Concurrency Control. MFDBS 1989: 398-414
83. Richard Hull, Jianwen Su: On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. DBPL 1989: 396-410
84. Serge Abiteboul, Stéphane Grumbach, Agnès Voisard, Emmanuel Waller: An Extensible Rule-Based Language with Complex Objects and data-Functions. DBPL 1989: 298-314
85. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
    Contents
86. Marc Gyssens, Dirk Van Gucht: The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra. SIGMOD Conference 1988: 225-232
87. Moshe Y. Vardi: Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. PODS 1988: 341-351
88. Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. PODS 1988: 39-51
89. Ashok K. Chandra: Theory of Database Queries. PODS 1988: 1-9
90. Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250
91. Eric Simon, Christophe de Maindreville: Deciding Whether a Production Rule is Relational Computable. ICDT 1988: 205-222
92. Anthony J. Bonner: Hypothetical Datalog: Complexity and Expressiblity. ICDT 1988: 144-160
93. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
94. Victor M. Markowitz, Johann A. Makowsky: Incremental Reorganization of Relational Databases. VLDB 1987: 127-135
95. L. Edwin McKenzie, Richard T. Snodgrass: Extending the Relational Algebra to Support Transaction Time. SIGMOD Conference 1987: 467-478
96. Jeffrey D. Ullman: Database Theory: Past and Future. PODS 1987: 1-10
97. Dirk Van Gucht: On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model. PODS 1987: 302-312
98. Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268
99. Joachim Biskup, Uwe Räsch: The Equivalence Problem For Relational Database Schemes. MFDBS 1987: 42-70
100. Sylvia L. Osborn, T. E. Heaven: The Design of a Relational Database System with Abstract Data Types for Domains. ACM Trans. Database Syst. 11(3): 357-373(1986)
101. David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
     Contents
102. Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385