Updates, a new frontier

  • Serge Abiteboul
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 326)

Abstract

We consider the main features of updates in databases. Recent results on updates are briefly described and used to raise various questions. It is argued that well-accepted query properties like safety and determinism should not be strictly enforced in the context of updates. The issue of declarative versus procedural update languages is also addressed. Finally, update-based database specifications are considered and compared to more traditional approaches.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Apt, K., H. Blair, A. Walker, Toward a theory of declarative knowledge, Foundations of Deductive Databases and Logic Programming, (J. Minker ed.) (1988).Google Scholar
  2. [2]
    Abiteboul S., Grahne, G., Update Semantics for Incomplete Databases, Proceedings of the 11th VLDB, Stockholm, 1985.Google Scholar
  3. [3]
    Abiteboul, S., P. Kanellakis, G. Grahne, On the Representation and Querying of Sets of Possible Worlds, Proc. of the ACM SIGMOD Conference on the Management of Data, (1987)Google Scholar
  4. [4]
    Apt, K., J.M. Pujin, Maintenance of Stratified Databases viewed as a belief revision system, Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (1988)Google Scholar
  5. [5]
    Aho, A.V., J.D. Ullman, Universality of Data Retrieval Languages, Proc. 6th ACM Symp. on Principles of Prog. Languages, San Antonio, Texas (1979)Google Scholar
  6. [6]
    Abiteboul, S., V. Vianu, Equivalence and optimization of relational transactions. Journal of the ACM, 35,1 (1988).Google Scholar
  7. [7]
    Abiteboul, S., V. Vianu, Transactions and constraints. Fourth ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, (1985).Google Scholar
  8. [8]
    Abiteboul, S., V. Vianu, A transaction language complete for database update and specification. Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (1987).Google Scholar
  9. [9]
    Abiteboul, S., V. Vianu, Procedural and declarative database update languages. Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (1988).Google Scholar
  10. [10]
    Abiteboul, S., V. Vianu, Transaction languages for database update and specification. I.N.R.I.A. Technical Report No.715 (1987). Invited to special issue of J. of Computer and Systems Science, scheduled to appear in 1988.Google Scholar
  11. [11]
    Abiteboul, S., V. Vianu, The connection of static constraints with determinism and boundedness of dynamic specifications. Proc. 3rd Int'l. Conf. on Data and Knowledge Bases (1988).Google Scholar
  12. [12]
    Bancilhon, F., On the Completeness of Query Languages, Proc. 7th Symp. on Mathematical Foundations of Computer Science, Zakopane, Poland (1978)Google Scholar
  13. [13]
    Bancilhon, F., Object-Oriented Database Systems, Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (1988).Google Scholar
  14. [14]
    Brodie, M.L., On modelling behavioral semantics of data, VLDB (1981).Google Scholar
  15. [15]
    Bancilhon, F., N. Spyratos, Update semantics of relational views, ACM TODS (1981).Google Scholar
  16. [16]
    Codd, E.F., a relational model of data for large shared data banks, CACM (1970).Google Scholar
  17. [17]
    Carlson, C.R., A.K. Arora, UPM: a formal tool for expressing database update semantics, in Entity-Relationship Approach to Software Engineering, Elsevier Science Publish., (1983).Google Scholar
  18. [18]
    Castillo, I.M.V., M.A. Casanova, A.L. Furtado, A temporal framework for database specifications. Proc. 8th Int. Conf. on Very Large Databases (1982), 280–291.Google Scholar
  19. [19]
    Casanova, M.A., A.L. Furtado, A family of temporal languages for the description of transition constraints.Google Scholar
  20. [20]
    Chandra, A., D. Harel, Computable queries for relational databases. J. of Computer and Systems Science, (1980).Google Scholar
  21. [21]
    Chandra, A., D.Harel, Horn Clause queries and generalization, J. of Logic Programming, (1985).Google Scholar
  22. [22]
    Cholvy, L., Update semantics under Domain Closure assumption, Proc., of Intern. Conf. on Database Theory, (1986).Google Scholar
  23. [23]
    Cosmadakis, S.S., C.H. Papadimitriou, Update of relational views, JACM (1984)Google Scholar
  24. [24]
    Cerri, S., G. Pelagetti, G. Bracchi, Structured methodology for designing static and dynamic aspects of database applications. Information Systems, Vol. 6, No. 1, pp. 31–45.Google Scholar
  25. [25]
    Clifford, J., D.S. Warren, Formal semantics for time in databases. ACM Transactions on Database Systems, Vol. 8, No. 2, June 1983, 214–254.Google Scholar
  26. [26]
    Doyle, J., A Truth Maintenance System, Artificial Intelligence, pp 231–272, (1979)Google Scholar
  27. [27]
    Dayal, U., P.A. Bernstein, On the correct translation of update operations on relational views, ACM TODS (1982).Google Scholar
  28. [28]
    Farinas, L., A. Herzig, Reasoning about Database Updates, Workshop on Foundations of Logic Programming and Deductive Databases, J. Minker, ed. (1986).Google Scholar
  29. [29]
    Fagin, R., G. Kuper, J.D. Ullman, M.Y. Vardi, Updating Logical Databases, Advances in Computing Research, vol 3, JAI Press (1986)Google Scholar
  30. [30]
    Furtado, A.L., K.C. Sevcik, Permitting Updates through views of Databases, Information Systems (1979).Google Scholar
  31. [31]
    Fagin, R., J.D. Ullman, M.Y. Vardi, On the semantics of updates in databases, Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1983).Google Scholar
  32. [32]
    Fagin R., M. Vardi, The Theory of Data Dependencies: A Survey, Mathematics of Information, (M. Anshel and W. Gewirtz, eds.), Symp. in Applied Math. 34 (1986).Google Scholar
  33. [33]
    Gallaire, H., Impacts of logic on databases, Proc. 7th Int. Conf. on Very Large Data Bases (1981), pp. 248–259.Google Scholar
  34. [34]
    Gallaire, H. J, Minker, J.M. Nicolas, Logic and Databases: a Deductive Approach, ACM Computing SurveysGoogle Scholar
  35. [35]
    Golshani, F., T.S.E. Mailbaum, M.R. Sadler, A model system of algebras for database specification and query/update language support, Proc. Ninth Int. Conf. on Very Large Data Bases (1983), pp. 331–339.Google Scholar
  36. [36]
    Gurevich, Y., S. Shelah, Fixed-point extensions of first-order logics, FOCS (1985).Google Scholar
  37. [37]
    Hull, R. Relative information Capacity of Simple Relational Database Schemata. USC Technical Report 1984, To appear in SIAM J. of Computing.Google Scholar
  38. [38]
    Imielinski, T., Incomplete Deductive Databases, submitted to publication (1987).Google Scholar
  39. [39]
    Imielinski, T., W. Lipski, Incomplete Information in Relational Databases, Journal of Assoc. Comp. Mach., 31,4 (1984)Google Scholar
  40. [40]
    Imielinski, T., S. Naqvi, Explicit control of Logic Programs through Rule Algebra, Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1988).Google Scholar
  41. [41]
    Kanellakis, P.C., Elements of Relational Database Theory, to appear as a chapter in Handbook of Theoretical Computer Science, North-Holland.Google Scholar
  42. [42]
    Keller, A., Algorithms for translating view updates to database updates for views involving selections, projections and joins, Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1985).Google Scholar
  43. [43]
    de Kleer, J., An Assumption-Based Truth Maintenance System, Artificial Intelligence, pp. 127–162 (1986)Google Scholar
  44. [44]
    Klopprogge, M.R., P.C. Lockemann, Modelling information preserving databases: consequences of the concept of time, Proc. Ninth Int. Conf. on Verg Large Data Bases (1983), pp. 399–416.Google Scholar
  45. [45]
    King, R., D. McLeod, The event database specification model, Proc. Second International Conf. on Databases: Improving Usability and Responsiveness, Israel (1982)Google Scholar
  46. [46]
    Kolaitis, P., The expressive power of stratified logic programs, manuscript (1987).Google Scholar
  47. [47]
    Kolaitis, P., C. Papadimitriou, Why not negation by fixpoint? Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1988).Google Scholar
  48. [48]
    Kripke, S., Semantical considerations on Modal Logic, Acta Philosophica Fennica, Helsinki (1963)Google Scholar
  49. [49]
    Keller, A., J.D. Ullman, On complementary and independent mappings, Proc. ACM SIGMOD (1984).Google Scholar
  50. [50]
    Maier, D., The Theory of Relational Databases, Computer Science Press (1983).Google Scholar
  51. [51]
    Mylopoulos, J., P.A. Bernstein, H.K.T. Wong, A language facility for designing interactive database-intensive applications, ACM Trans. on Database Systems (June 1980).Google Scholar
  52. [52]
    de Maindreville, C., E. Simon, a production rule based approach to deductive databases, Proc. Conf. on Data Engineering (1988).Google Scholar
  53. [53]
    de Maindreville, C., E. Simon, Modelling a Production Rule Language for Deductive Databases, Proc. Conf. on Very Large Data Bases (1988).Google Scholar
  54. [54]
    Maier, D., J.Stein, A.Otis, A.Purdy, Development of an Object-Oriented DBMS, ACM SIGPLAN Not. 21 (11), (1986).Google Scholar
  55. [55]
    Manchanda S., D.S. Warren, A logic-based language foe database updates, Foundations of Logic Programming and Deductive Databases, ed. J. Minker (1987).Google Scholar
  56. [56]
    Naqvi, S., a logic for negation in database systems, Proc. Workshop on Logic Databases (1986).Google Scholar
  57. [57]
    Naqvi, S., R. Krishnamurthy, Database Updates in Logic Programming, Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1988).Google Scholar
  58. [58]
    Naish, L., J.A. Thom, K. Ramamohanaro, Concurrent database updates in Prolog, U. de Melbourne, Australia.Google Scholar
  59. [59]
    Nicolas, J.M., Yazdanian, Integrity checking in deductive data bases, Logic and Databases H. Gallaire and J. Minker, (Eds.), Plenum Press (1978).Google Scholar
  60. [60]
    Paredaens, J., On the Expressive Power of the Relational Algebra, Inform. Processing Letters (1978)Google Scholar
  61. [61]
    Reiter, R., Towards a logical reconstruction of relational database theory, in On Conceptual Modelling, Springer-Verlag pp. 191–233 (1984)Google Scholar
  62. [62]
    Rolland, C., Event driven synchronization in REMORA. Third Scandinavian Symp. on Information Modelling, Tampere, Finland, 1984.Google Scholar
  63. [63]
    Snodgrass, R., The temporal query language t quel, Proc. Third ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (1984), pp. 204–212.Google Scholar
  64. [64]
    Ullman, J.D., Principles of Database and Knowledge Base Systems, Computer Science Press (1988).Google Scholar
  65. [65]
    Ulrich, Schiel, An abstract introduction to the temporal-hierarchical data model, Proc. Ninth Int. Conf. on Very Large Data Bases (1983), pp. 322–330.Google Scholar
  66. [66]
    Vardi, M., Querying Logical Databases, Proc. Fourth ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (1985)Google Scholar
  67. [67]
    van Gelder, A., Negation as failure using tight derivations for general logic programs, Proc. IEEE symposium on Logic Programming (1986).Google Scholar
  68. [68]
    Vianu, V., Dynamic constraints and database evolution. Proc. Second ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (1983), 389–399.Google Scholar
  69. [69]
    Vianu, V., Dynamic functional dependencies and database aging. Journal of the ACM, 34,1 (1987).Google Scholar
  70. [70]
    Vianu, V., Database survivability under dynamic constraints. Acta Informatica, 25, (1988).Google Scholar
  71. [71]
    Vianu, V., Object projection views in the dynamic relational model. ACM Transactions on Database Systems, 13, 1, (1988). (1984).Google Scholar
  72. [72]
    Warren, D.,S., Database Updates in pure Prolog, Proc. of Inter. Conf. on 5th Generation Computer Systems (1984).Google Scholar
  73. [73]
    Winslett, M., A model theoretic approach to updating logical databases, Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1986).Google Scholar
  74. [74]
    Winslett, M., A framework for the comparison of update semantics, Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1987).Google Scholar
  75. [75]
    Yannakakis, M., C. Papadimitriou, Algebraic Dependencies, J. CSS 25, 2 (1982).Google Scholar

Copyright information

© Springer-Verlag 1983

Authors and Affiliations

  • Serge Abiteboul
    • 1
  1. 1.I.N.R.I.A.Le ChesnayFrance

Personalised recommendations