{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:30:21Z","timestamp":1725561021266},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208969"},{"type":"electronic","value":"9783540246077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24607-7_7","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T08:16:11Z","timestamp":1280391371000},"page":"90-109","source":"Crossref","is-referenced-by-count":0,"title":["Integrating Database and Programming Language Constraints"],"prefix":"10.1007","author":[{"given":"Oded","family":"Shmueli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mukund","family":"Raghavachari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Bordawekar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael G.","family":"Burke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6894-6","volume-title":"Dependence analysis for supercomputing","author":"U. Banerjee","year":"1988","unstructured":"Banerjee, U.: Dependence analysis for supercomputing. Kluwer Academic, Boston (1988)"},{"doi-asserted-by":"crossref","unstructured":"Bernstein, P.A., Blaustein, B.T.: Fast methods for testing quantified relational calculus assertions. In: Proceedings of SIGMOD, June 1982, pp. 39\u201350 (1982)","key":"7_CR2","DOI":"10.1145\/582353.582361"},{"unstructured":"Bernstein, P.A., Blaustein, B.T., Clarke, E.M.: Fast maintenance of semantic integrity assertions using redundant aggregate data. In: Proceedings of VLDB, October 1980, pp. 126\u2013136 (1980)","key":"7_CR3"},{"key":"7_CR4","volume-title":"Concurrency Control and Recovery in Database Systems","author":"P.A. Bernstein","year":"1987","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)"},{"doi-asserted-by":"crossref","unstructured":"Bodik, R., Gupta, R., Sarkar, V.: ABCD: eliminating array bounds checks on demand. In: Proceedings of PLDI, pp. 321\u2013333 (2000)","key":"7_CR5","DOI":"10.1145\/349299.349342"},{"unstructured":"Brucker, A., Wolff, B.: Checking OCL constraints in distributed component based systems. Technical Report 157, Institut fur Informatik, Universitat Freiburg (2001)","key":"7_CR6"},{"key":"7_CR7","volume-title":"Transaction Processing: Concepts and Techniques","author":"J. Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)"},{"doi-asserted-by":"crossref","unstructured":"Grefen, P., Widom, J.: Integrity constraint checking in federated databases. In: Proceedings of the Intl. Conf. on Cooperative Information Systems (1996)","key":"7_CR8","DOI":"10.1109\/COOPIS.1996.554996"},{"doi-asserted-by":"crossref","unstructured":"Gupta, A., Sagiv, Y., Ullman, J.D., Widom, J.: Constraint checking with partial information. In: Proceedings of PODS, pp. 45\u201355 (1994)","key":"7_CR9","DOI":"10.1145\/182591.182597"},{"doi-asserted-by":"crossref","unstructured":"Gupta, A., Widom, J.: Local verification of global integrity constraints. In: Proceedings of SIGMOD, June 1993, pp. 49\u201358 (1993)","key":"7_CR10","DOI":"10.1145\/170036.170048"},{"key":"7_CR11","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J. Hopcroft","year":"1979","unstructured":"Hopcroft, J., Ullman, J.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)"},{"unstructured":"A. N. S. Institute. Information technology\u2014database languages\u2014SQL. ANSI X3.135-1992 (1992)","key":"7_CR12"},{"unstructured":"Jagadish, H.V., Qian, X.: Integrity maintenance in an object-oriented database. In: Proceedings of VLDB, pp. 469\u2013480 (1982)","key":"7_CR13"},{"key":"7_CR14","volume-title":"SQL in a Nutshell","author":"K.E. Kline","year":"2001","unstructured":"Kline, K.E., Kline, D.L.: SQL in a Nutshell. O\u2019Reilly and Associates, Inc., Sebastopol (2001)"},{"key":"7_CR15","volume-title":"The Theory of Relational Databases","author":"D. Maier","year":"1983","unstructured":"Maier, D.: The Theory of Relational Databases. Computer Science Press, Rockville (1983)"},{"key":"7_CR16","volume-title":"Advanced Compiler Design and Implementation","author":"S. Muchnick","year":"1997","unstructured":"Muchnick, S.: Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco (1997)"},{"key":"7_CR17","volume-title":"Java Data Objects","author":"R.M. Roos","year":"2002","unstructured":"Roos, R.M.: Java Data Objects. Addison-Wesley, Reading (2002)"},{"key":"7_CR18","volume-title":"The Microsoft ADO.NET (Core Reference)","author":"D. Sceppa","year":"2002","unstructured":"Sceppa, D.: The Microsoft ADO.NET (Core Reference). Microsoft Press, Redmond (2002)"},{"unstructured":"Sun Microsystems, Inc. Enterprise Java Beans Technology, http:\/\/www.javasoft.com\/j2ee","key":"7_CR19"},{"key":"7_CR20","volume-title":"The Object Constraint Language, Precise Modeling with UML","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language, Precise Modeling with UML. Addison-Wesley, Reading (1999)"}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24607-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:48:39Z","timestamp":1559346519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24607-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208969","9783540246077"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24607-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}