Applying an update method to a set of receivers

ACM Transactions on Database Systems

Volumn 26, Issue 1, 2001, Pages 1-40

  Andries, Marc ^a   Cabibbo, Luca ^a   Paredaens, Jan ^a   Van Den Bussche, Jan ^b  

^a Limburgs Universitair Centrum ^*  (Italy)

^b HASSELT UNIVERSITY   (Belgium)

Author keywords

Algorithms; Database Management; Database update; Languages; Order independence; Parallel update; Relational algebra; Schema coloring; Theory; Verification

Indexed keywords

EID: 0040152048     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/383734.383735     Document Type: Article

References (24)

1. ABITEBOUL, S., HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison-Wesley.
2. ABITEBOUL, S. AND VIANU, V. 1990. Procedural languages for database queries and updates. J. Comput. Syst. Sci. 41, 2, 181-229.
3. AHO, A., SAGIV, Y., AND ULLMAN, J. 1979. Equivalences among relational expressions. SIAM. Comput. 8, 2, 218-246.
4. AHO, A. AND ULLMAN, J. 1979. Universality of data retrieval languages. In Proceedings of the Conference Record, 6th ACM Symposium on Principles of Programming Languages (1979), 110-120.
5. BREAZU-TANNEN, V., BUNEMAN, P., AND NAQVI, S. 1992. Structural recursion as a query language. In Database Programming Languages: Bulk Types and Persistent Data. P. Kanellakis and J. Schmidt Eds., Morgan Kaufmann, 9-19.
6. BREAZU-TANNEN, V. AND SUBRAHMANYAM, R. 1991. Logical and computational aspects of programming with sets/bags/lists. In Automata, Languages, and Programming, LNCS 510, Springer, 60-75.
7. CABIBBO, L. 1996. Querying and updating complex-object databases. Ph.D. thesis, Università di Roma "La Sapienza."
8. CHAN, E. 1992. Containment and minimization of positive conjunctive queries in OODB's. In Proceedings 11th ACM Symposium on Principles of Database Systems, 202-211.
9. CHANDRA, A. 1981. Programming primitives for database languages. In Proceedings of the Conference Record, 8th ACM Symposium on Principles of Programming Languages, 50-62.
10. CHANDRA, A. AND MERLIN, P. 1977. Optimal implementation of conjunctive queries in relational data bases. In Proceedings of the 9th ACM Symposium on the Theory of Computing, 77-90.
11. HOPCROFT, J. AND ULLMAN, J. 1979. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley.
12. HULL, R. AND SU, J. 1989. On accessing object-oriented databases: Expressive power, complexity, and restrictions. In Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, J. Clifford, B. Lindsay, and D. Maier Eds. SIGMOD Rec. 18, 2 147-158.
13. HULL, R. AND YOSHIKAWA, M. 1990. ILOG: Declarative creation and manipulation of object identifiers. In Proceedings of the 16th International Conference on Very Large Data Bases D. McLeod, R. Sacks-Davis, and H. Schek Eds., 455-468. Morgan Kaufmann.
14. JOHNSON, D. AND KLUG, A. 1984. Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci. 28, 167-189.
15. KLUG, A. 1988. On conjunctive queries containing inequalities. J. ACM 35, 1, 146-160.
16. LAASCH, C. AND SCHOLL, M. 1993. Deterministic semantics of set-oriented update sequences. In Proceedings of the Ninth International Conference on Data Engineering, IEEE Computer Society Press, 4-13.
17. LYNGBAEK, P. AND VIANU, V. 1987. Mapping a semantic database model to the relational model. In Proceedings of the ACM SIGMOD 1987 Annual Conference, U. Dayal and I. Traiger Eds. SIGMOD Rec. 16, 3 132-142.
18. MAIER, D., MENDELZON, A., AND SAGIV, Y. 1979. Testing implications of data dependencies. ACM Trans. Database Syst. 4, 455-469.
19. QIAN, X. 1991. The expressive power of the bounded-iteration construct. Acta Informatica 28, 631-656.
20. SAGIV, Y. AND YANNAKAKIS, M. 1980. Equivalence among relational expressions with the union and difference operators. J. ACM 27, 4, 633-655.
21. SCHWARTZ, J. ET AL. 1986. Programming with Sets: An Introduction to SETL, Springer.
22. SIMON, E. AND DE MAINDREVILLE, C. 1988. Deciding whether a production rule is relational computable. In ICDT'88, LNCS 326 M. Gyssens, J. Paredaens, and D. Van Gucht Eds. Springer, 205-222.
23. ULLMAN, J. 1988. Principles of Database and Knowledge-Base Systems, Vol. I. Computer Science Press.
24. VAN DEN BUSSCHE, J. AND CABIBBO, L. 1998. Converting untyped formulas into typed ones. Acta Informatica 35, 8, 637-643.