{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:13Z","timestamp":1747548373693},"publisher-location":"Berlin, Heidelberg","reference-count":75,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540501718"},{"type":"electronic","value":"9783540459439"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50171-1_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:15:54Z","timestamp":1330182954000},"page":"1-18","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":37,"title":["Updates, a new frontier"],"prefix":"10.1007","author":[{"given":"Serge","family":"Abiteboul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K., H. Blair, A. Walker, Toward a theory of declarative knowledge, Foundations of Deductive Databases and Logic Programming, (J. Minker ed.) (1988).","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"1_CR2","unstructured":"Abiteboul S., Grahne, G., Update Semantics for Incomplete Databases, Proceedings of the 11th VLDB, Stockholm, 1985."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/38713.38724"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/28659.28674"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Aho, A.V., J.D. Ullman, Universality of Data Retrieval Languages, Proc. 6th ACM Symp. on Principles of Prog. Languages, San Antonio, Texas (1979)","DOI":"10.1145\/567752.567763"},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/42267.42271","volume":"35","author":"S. Abiteboul","year":"1988","unstructured":"Abiteboul, S., V. Vianu, Equivalence and optimization of relational transactions. Journal of the ACM, 35,1 (1988).","journal-title":"Journal of the ACM"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., V. Vianu, Transactions and constraints. Fourth ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, (1985).","DOI":"10.1145\/325405.325439"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.1145\/28659.28688"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., V. Vianu, Procedural and declarative database update languages. Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (1988).","DOI":"10.1145\/308386.308448"},{"key":"1_CR10","unstructured":"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."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.1016\/B978-1-4832-1313-2.50031-7"},{"key":"1_CR12","volume-title":"Proc. 7th Symp. on Mathematical Foundations of Computer Science","author":"F. Bancilhon","year":"1978","unstructured":"Bancilhon, F., On the Completeness of Query Languages, Proc. 7th Symp. on Mathematical Foundations of Computer Science, Zakopane, Poland (1978)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., Object-Oriented Database Systems, Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (1988).","DOI":"10.1145\/308386.308429"},{"key":"1_CR14","unstructured":"Brodie, M.L., On modelling behavioral semantics of data, VLDB (1981)."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., N. Spyratos, Update semantics of relational views, ACM TODS (1981).","DOI":"10.1145\/319628.319634"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Codd, E.F., a relational model of data for large shared data banks, CACM (1970).","DOI":"10.1145\/362384.362685"},{"key":"1_CR17","unstructured":"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)."},{"key":"1_CR18","unstructured":"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\u2013291."},{"key":"1_CR19","unstructured":"Casanova, M.A., A.L. Furtado, A family of temporal languages for the description of transition constraints."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Chandra, A., D. Harel, Computable queries for relational databases. J. of Computer and Systems Science, (1980).","DOI":"10.1145\/800135.804423"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Chandra, A., D.Harel, Horn Clause queries and generalization, J. of Logic Programming, (1985).","DOI":"10.1016\/0743-1066(85)90002-0"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Cholvy, L., Update semantics under Domain Closure assumption, Proc., of Intern. Conf. on Database Theory, (1986).","DOI":"10.1007\/3-540-17187-8_33"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Cosmadakis, S.S., C.H. Papadimitriou, Update of relational views, JACM (1984)","DOI":"10.1145\/1634.1887"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"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\u201345.","DOI":"10.1016\/0306-4379(81)90016-8"},{"issue":"2","key":"1_CR25","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/319983.319986","volume":"8","author":"J. Clifford","year":"1983","unstructured":"Clifford, J., D.S. Warren, Formal semantics for time in databases. ACM Transactions on Database Systems, Vol. 8, No. 2, June 1983, 214\u2013254.","journal-title":"ACM Transactions on Database Systems"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Doyle, J., A Truth Maintenance System, Artificial Intelligence, pp 231\u2013272, (1979)","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Dayal, U., P.A. Bernstein, On the correct translation of update operations on relational views, ACM TODS (1982).","DOI":"10.1145\/319732.319740"},{"key":"1_CR28","unstructured":"Farinas, L., A. Herzig, Reasoning about Database Updates, Workshop on Foundations of Logic Programming and Deductive Databases, J. Minker, ed. (1986)."},{"key":"1_CR29","unstructured":"Fagin, R., G. Kuper, J.D. Ullman, M.Y. Vardi, Updating Logical Databases, Advances in Computing Research, vol 3, JAI Press (1986)"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Furtado, A.L., K.C. Sevcik, Permitting Updates through views of Databases, Information Systems (1979).","DOI":"10.1016\/0306-4379(79)90021-8"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.1145\/588097.588100"},{"key":"1_CR32","unstructured":"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)."},{"key":"1_CR33","unstructured":"Gallaire, H., Impacts of logic on databases, Proc. 7th Int. Conf. on Very Large Data Bases (1981), pp. 248\u2013259."},{"key":"1_CR34","unstructured":"Gallaire, H. J, Minker, J.M. Nicolas, Logic and Databases: a Deductive Approach, ACM Computing Surveys"},{"key":"1_CR35","unstructured":"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\u2013339."},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., S. Shelah, Fixed-point extensions of first-order logics, FOCS (1985).","DOI":"10.1109\/SFCS.1985.27"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Hull, R. Relative information Capacity of Simple Relational Database Schemata. USC Technical Report 1984, To appear in SIAM J. of Computing.","DOI":"10.1145\/588025.588027"},{"key":"1_CR38","unstructured":"Imielinski, T., Incomplete Deductive Databases, submitted to publication (1987)."},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Imielinski, T., W. Lipski, Incomplete Information in Relational Databases, Journal of Assoc. Comp. Mach., 31,4 (1984)","DOI":"10.1145\/1634.1886"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Imielinski, T., S. Naqvi, Explicit control of Logic Programs through Rule Algebra, Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1988).","DOI":"10.1145\/308386.308422"},{"key":"1_CR41","unstructured":"Kanellakis, P.C., Elements of Relational Database Theory, to appear as a chapter in Handbook of Theoretical Computer Science, North-Holland."},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.1145\/325405.325423"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"de Kleer, J., An Assumption-Based Truth Maintenance System, Artificial Intelligence, pp. 127\u2013162 (1986)","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"1_CR44","unstructured":"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\u2013416."},{"key":"1_CR45","unstructured":"King, R., D. McLeod, The event database specification model, Proc. Second International Conf. on Databases: Improving Usability and Responsiveness, Israel (1982)"},{"key":"1_CR46","unstructured":"Kolaitis, P., The expressive power of stratified logic programs, manuscript (1987)."},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Kolaitis, P., C. Papadimitriou, Why not negation by fixpoint? Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1988).","DOI":"10.1145\/308386.308446"},{"key":"1_CR48","unstructured":"Kripke, S., Semantical considerations on Modal Logic, Acta Philosophica Fennica, Helsinki (1963)"},{"key":"1_CR49","doi-asserted-by":"crossref","unstructured":"Keller, A., J.D. Ullman, On complementary and independent mappings, Proc. ACM SIGMOD (1984).","DOI":"10.21236\/ADA145557"},{"key":"1_CR50","unstructured":"Maier, D., The Theory of Relational Databases, Computer Science Press (1983)."},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.1145\/320141.320150"},{"key":"1_CR52","unstructured":"de Maindreville, C., E. Simon, a production rule based approach to deductive databases, Proc. Conf. on Data Engineering (1988)."},{"key":"1_CR53","unstructured":"de Maindreville, C., E. Simon, Modelling a Production Rule Language for Deductive Databases, Proc. Conf. on Very Large Data Bases (1988)."},{"key":"1_CR54","doi-asserted-by":"crossref","unstructured":"Maier, D., J.Stein, A.Otis, A.Purdy, Development of an Object-Oriented DBMS, ACM SIGPLAN Not. 21 (11), (1986).","DOI":"10.1145\/960112.28746"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Manchanda S., D.S. Warren, A logic-based language foe database updates, Foundations of Logic Programming and Deductive Databases, ed. J. Minker (1987).","DOI":"10.1016\/B978-0-934613-40-8.50014-2"},{"key":"1_CR56","unstructured":"Naqvi, S., a logic for negation in database systems, Proc. Workshop on Logic Databases (1986)."},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Naqvi, S., R. Krishnamurthy, Database Updates in Logic Programming, Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1988).","DOI":"10.1145\/308386.308451"},{"key":"1_CR58","unstructured":"Naish, L., J.A. Thom, K. Ramamohanaro, Concurrent database updates in Prolog, U. de Melbourne, Australia."},{"key":"1_CR59","doi-asserted-by":"crossref","unstructured":"Nicolas, J.M., Yazdanian, Integrity checking in deductive data bases, Logic and Databases H. Gallaire and J. Minker, (Eds.), Plenum Press (1978).","DOI":"10.1007\/978-1-4684-3384-5_12"},{"key":"1_CR60","doi-asserted-by":"crossref","unstructured":"Paredaens, J., On the Expressive Power of the Relational Algebra, Inform. Processing Letters (1978)","DOI":"10.1016\/0020-0190(78)90055-8"},{"key":"1_CR61","doi-asserted-by":"crossref","unstructured":"Reiter, R., Towards a logical reconstruction of relational database theory, in On Conceptual Modelling, Springer-Verlag pp. 191\u2013233 (1984)","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"1_CR62","unstructured":"Rolland, C., Event driven synchronization in REMORA. Third Scandinavian Symp. on Information Modelling, Tampere, Finland, 1984."},{"key":"1_CR63","unstructured":"Snodgrass, R., The temporal query language t quel, Proc. Third ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (1984), pp. 204\u2013212."},{"key":"1_CR64","unstructured":"Ullman, J.D., Principles of Database and Knowledge Base Systems, Computer Science Press (1988)."},{"key":"1_CR65","unstructured":"Ulrich, Schiel, An abstract introduction to the temporal-hierarchical data model, Proc. Ninth Int. Conf. on Very Large Data Bases (1983), pp. 322\u2013330."},{"key":"1_CR66","doi-asserted-by":"crossref","unstructured":"Vardi, M., Querying Logical Databases, Proc. Fourth ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (1985)","DOI":"10.1145\/325405.325413"},{"key":"1_CR67","unstructured":"van Gelder, A., Negation as failure using tight derivations for general logic programs, Proc. IEEE symposium on Logic Programming (1986)."},{"key":"1_CR68","doi-asserted-by":"crossref","unstructured":"Vianu, V., Dynamic constraints and database evolution. Proc. Second ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (1983), 389\u2013399.","DOI":"10.1145\/588058.588105"},{"key":"1_CR69","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/7531.7918","volume":"34","author":"V. Vianu","year":"1987","unstructured":"Vianu, V., Dynamic functional dependencies and database aging. Journal of the ACM, 34,1 (1987).","journal-title":"Journal of the ACM"},{"key":"1_CR70","doi-asserted-by":"crossref","unstructured":"Vianu, V., Database survivability under dynamic constraints. Acta Informatica, 25, (1988).","DOI":"10.1007\/BF02737098"},{"key":"1_CR71","doi-asserted-by":"crossref","unstructured":"Vianu, V., Object projection views in the dynamic relational model. ACM Transactions on Database Systems, 13, 1, (1988). (1984).","DOI":"10.1145\/42201.42202"},{"key":"1_CR72","unstructured":"Warren, D.,S., Database Updates in pure Prolog, Proc. of Inter. Conf. on 5th Generation Computer Systems (1984)."},{"key":"1_CR73","unstructured":"Winslett, M., A model theoretic approach to updating logical databases, Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1986)."},{"key":"1_CR74","doi-asserted-by":"crossref","unstructured":"Winslett, M., A framework for the comparison of update semantics, Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems, (1987).","DOI":"10.1145\/308386.308465"},{"key":"1_CR75","first-page":"2","volume":"25","author":"M. Yannakakis","year":"1982","unstructured":"Yannakakis, M., C. Papadimitriou, Algebraic Dependencies, J. CSS 25, 2 (1982).","journal-title":"Algebraic Dependencies, J. CSS"}],"container-title":["Lecture Notes in Computer Science","ICDT '88"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50171-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:31:26Z","timestamp":1558254686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50171-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540501718","9783540459439"],"references-count":75,"URL":"https:\/\/doi.org\/10.1007\/3-540-50171-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}