{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:59Z","timestamp":1725455459346},"publisher-location":"Berlin\/Heidelberg","reference-count":26,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540522913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022167","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:40:43Z","timestamp":1131860443000},"page":"120-135","source":"Crossref","is-referenced-by-count":1,"title":["The many faces of query monotonicity"],"prefix":"10.1007","author":[{"given":"Catriel","family":"Beeri","sequence":"first","affiliation":[]},{"given":"Yoram","family":"Kornatzky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"S. Abiteboul and C. Beeri. On the Power of Languages for the Manipulation of Complex Objects. Technical Report 846, INRIA, May 1988."},{"key":"8_CR2","first-page":"253","volume-title":"Proc. of the Workshop on Database Programming Languages","author":"S. Abiteboul","year":"1987","unstructured":"S. Abiteboul and S. Grumbach, COL: a logic-based language for complex objects. In Proc. of the Workshop on Database Programming Languages, pages 253\u2013276, Roscoff, France, September 1987."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"A.V. Aho and J.D. Ullman. Universality of data retrieval languages. In Proc. Sixth ACM Symp. on Principles of Programming Languages, pages 110\u2013117, January 1979.","DOI":"10.1145\/567752.567763"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. Ait-Kaci","year":"1986","unstructured":"H. Ait-Kaci and R. Nasr. LOGIN: a logic programming language with built-in inheritance. Journal of Logic Programming, 3:185\u2013215, 1986.","journal-title":"Journal of Logic Programming"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89\u2013184, Morgan Kaufman Publishers, 1987.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"issue":"3","key":"8_CR6","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"R. A. Krzysztof","year":"1982","unstructured":"Krzysztof R. Apt and M.H. Van Emden. Contributions to the theory of logic programming. Journal of the ACM, 29(3):841\u2013862, July 1982.","journal-title":"Journal of the ACM"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"F. Bancilhon and S. Khoshafian. A calculus for complex objects. In Proc. Fifth ACM Symp. on Principles of Database Systems, pages 53\u201359, 1986.","DOI":"10.1145\/6012.15404"},{"key":"8_CR8","unstructured":"F. Bancilhon, P. Richard, and M. Scholl. On line processing of compacted relations. In Proc. Intl. Conf. on Very Large Data Bases, pages 263\u2013269, 1982."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"C. Beeri, S. Naqvi, R. Ramakrishnan, O. Shmueli, and S. Tsur. Sets and negation in a logic database language (LDL1). In Proc. Sixth ACM Symp. on Principles of Database Systems, pages 21\u201337, March 1987.","DOI":"10.1145\/28659.28662"},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","volume":"25","author":"A. Chandra","year":"1982","unstructured":"A. Chandra and D. Harel. Structure and complexity of relational queries. Journal of Computer and System Sciences, 25(1):99\u2013128, 1982.","journal-title":"Journal of Computer and System Sciences"},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0022-0000(80)90032-X","volume":"21","author":"A.K. Chandra","year":"1980","unstructured":"A.K. Chandra and D. Harel. Computable queries for relational datbase systems. Journal of Computer and System Sciences, 21(2):156\u2013178, 1980.","journal-title":"Journal of Computer and System Sciences"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"P. Dadam et. al. A DBMS prototype to support extended NF 2 relations: an integrated view on flat tables and hierarchies. In ACM SIGMOD Intl. Conf. on Management of Data, pages 356\u2013367, 1986.","DOI":"10.1145\/16856.16889"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0743-1066(87)90019-7","volume":"4","author":"M. Fitting","year":"1987","unstructured":"M. Fitting. Enumeration operators and modular logic programming. J. of Logic Programming, 4:11\u201321, 1987.","journal-title":"J. of Logic Programming"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"M. Gyssens and D. Van Gucht. The powerset algebra as a result of adding programming constructs to the nested relational algebra. In ACM SIGMOD Intl. Conf. on Management of Data, pages 225\u2013232, 1988.","DOI":"10.1145\/50202.50230"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"R. Hull and J. Su. On the expressive power of database queries with intermediate types. In Proc. Seventh ACM Symp. on Principles of Database Systems, pages 39\u201351, 1988.","DOI":"10.1145\/308386.308409"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"R. Hull and J. Su. Untyped sets, invention, and computable queries. In Proc. Eighth ACM Symp. on Principles of Database Systems, 1989.","DOI":"10.1145\/73721.73755"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"M. Kifer and J. Wu. A logic for object-oriented logic programming (Maier's O-Logic revisited). In Proc. Eighth ACM Symp. on Principles of Database Systems, 1989.","DOI":"10.1145\/73721.73758"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"G.M. Kuper. Logic programming with sets. In Proc. Sixth ACM Symp. on Principles of Database Systems, pages 11\u201320, 1987.","DOI":"10.1145\/28659.28661"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"G.M. Kuper. On the expressive power of logic programming with sets. In Proc. Seventh ACM Symp. on Principles of Database Systems, pages 10\u201314, 1988.","DOI":"10.1145\/308386.308397"},{"key":"8_CR20","first-page":"267","volume-title":"2nd International Conference on Database Theory","author":"G.M. Kuper","year":"1988","unstructured":"G.M. Kuper and M.Y. Vardi. On the complexity of queries in the logical data model. In D. Van Gucht M. Gyssens, J. Paredaens, editor, 2nd International Conference on Database Theory, pages 267\u2013280, Springer-Verlag, Bruges, Belgium, August 1988."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"V. Linnemann. Non first normal form relations and recursive queries: an SQL-based approach. In Proc. Intl. Conf. on Data Engineering, pages 591\u2013598, 1987.","DOI":"10.1109\/ICDE.1987.7272428"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"H.-B. Paul, H.-J. Schek, M.H. Scholl, G. Weikum, and U. Deppisch. Architecture and implementation of the Darmstadt database kernel system. In ACM SIGMOD Intl. Conf. on Management of Data, 1987.","DOI":"10.1145\/38713.38737"},{"issue":"4","key":"8_CR23","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1145\/322217.322221","volume":"27","author":"Y. Sagiv","year":"1980","unstructured":"Y. Sagiv and M. Yannakakis. Equivalence among relational expressions with the union and difference operators. Journal of the ACM, 27(4):633\u2013655, 1980.","journal-title":"Journal of the ACM"},{"issue":"2","key":"8_CR24","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","volume":"11","author":"H.-J. Schek","year":"1986","unstructured":"H.-J. Schek and M.H. Scholl. An algebra for the relational model with relation-valued attributes. Information Systems, 11(2):137\u2013147, 1986.","journal-title":"Information Systems"},{"issue":"2","key":"8_CR25","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski. A lattice theoretical fixpoint theorem and its applications. Pacific J. Math., 5(2):285\u2013309, 1955.","journal-title":"Pacific J. Math."},{"key":"8_CR26","unstructured":"J.D. Ullman. Principles of Database and Knowledge-Base Systems. Computer Science Press, 1988."}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '90"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022167.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:47:46Z","timestamp":1607550466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022167"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540522913"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0022167","relation":{},"subject":[]}}