{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:33Z","timestamp":1725663933181},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540540090"},{"type":"electronic","value":"9783540473480"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54009-1_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:22:51Z","timestamp":1330208571000},"page":"74-88","source":"Crossref","is-referenced-by-count":1,"title":["Monadic databases with equality"],"prefix":"10.1007","author":[{"given":"Dimitri","family":"Theodoratos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"6_CR1","unstructured":"W.W. Armstrong, Dependency structures of database relationships, Proc. IFIP 74, pp 580\u2013583, North Holland, Amsterdam."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"H. Arisawa, T. Miura. On the properties of extended inclusion dependencies. Proc. of the 12th International conf. on Very Large Databases, Kyoto, 1986.","DOI":"10.1109\/TSE.1986.6313001"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Paolo Atzeni, D. Stott Parker Jr, Formal properties of net-based knowledge representation schemes, Proc. 2nd Int. Conf. on Data Engineering, Los Angeles, 1986","DOI":"10.1109\/ICDE.1986.7266281"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Paolo Atzeni, D. Stott Parker Jr, Set containment Inference, Proc. of the ICDT, Sep. 1986, Roma, Italy, LNCS No 243, Springer-Verlag,1987","DOI":"10.1007\/3-540-17187-8_30"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Paolo Atzeni, D. Stott Parker Jr, Algorithms for set-containment inference, Advances in Database Programming Languages, Eds: F. Bancilhon, P. Buneman, ACM Press, Frontier Series, 1990","DOI":"10.1145\/101620.101627"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"C. Beeri, P. Berstein, Computational problems related to the design of normal form relational schemas, ACM Trans. Database Syst. 4,1 Mar. 1979.","DOI":"10.1145\/320064.320066"},{"key":"6_CR7","unstructured":"G. Boolos, R. Jeffrey, Computability and logic \u2014 2nd ed., Cambridge University Press, 1980."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"C. Beeri, M.Y. Vardi. Formal systems for tuple and equality Generating dependencies. SIAM J. Comput. Vol 13, No 1, February 1984.","DOI":"10.1137\/0213006"},{"key":"6_CR9","first-page":"2","volume":"33","author":"S. Cosmadakis","year":"1986","unstructured":"Cosmadakis S., Kanellakis P., Spyratos N. Partition semantics of relations. JCSS, 33:2, 1986.","journal-title":"Partition semantics of relations. JCSS"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"R. Fagin, Horn clauses and databases dependencies, journal of ACM, Oct. 1982.","DOI":"10.1145\/322344.322347"},{"key":"6_CR11","unstructured":"J. Gallier, Logic for Computer Science: Foundations of Automatic Theorem Proving. Harper & Row, Publishers, 1986."},{"key":"6_CR12","unstructured":"C. Lecluse, Une s\u00e9mantique ensembliste pour les bases de donn\u00e9es \u2014 application au mod\u00e8le relationnel. Th\u00e8se de troisi\u00e8me cycle, Universit\u00e9 de Paris \u2014 Sud, Mars 1987."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Maurizio Lenzerini, Covering and disjointness Constraints in Type Networks Proc. 3rd Int. IEEE Conf. on Data Engineering, Los Angeles 1987.","DOI":"10.1109\/ICDE.1987.7272404"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Maurizio Lenzerini, Class Hierarchies and their Complexity, Advances in Database Programming Languages, Eds: F. Bancilhon, P. Buneman, ACM Press, 1990","DOI":"10.1145\/101620.101623"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"C. Lecluse and N. Spyratos, Incorporating Functional Dependencies in Deductive Query Answering, IEEE International conference on Data Engineering, Los Angeles, February 1987.","DOI":"10.1109\/ICDE.1987.7272436"},{"key":"6_CR16","unstructured":"C. Lecluse and N. Spyratos, Deductive Databases and Monadic Logic, LRI, internal Research Report, 1987."},{"key":"6_CR17","unstructured":"D. Maier, The theory of relational Databases, Computer Science Press, 1983"},{"key":"6_CR18","volume-title":"Logic and databases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter. On closed world databases. In Logic and databases. H. Gallaire and J. Minker, Plenum Press, New York, 1978."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"R.Reiter, Towards a Logical Reconstruction of Relational Database Theory. In On conceptual modeling, Brodie, Mylopoulos and Schmidt, Springer-Verlag, 1984.","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"N. Spyratos, The partition model, a deductive database model, ACM TODS, March 1987. Also in INRIA Research Report no 286, April 1984.","DOI":"10.1145\/12047.22718"},{"key":"6_CR21","unstructured":"D. Theodoratos, Monadic Databases, Proc. ICNTSSD'89, Caracas, November 1989."},{"key":"6_CR22","series-title":"L.R.I. Research Report","volume-title":"Monadic Databases with Equality and Typed Monadic Databases with Equality","author":"D. Theodoratos","year":"1991","unstructured":"D. Theodoratos, Monadic Databases with Equality and Typed Monadic Databases with Equality, L.R.I. Research Report, Universit\u00e9 de Paris Sud, Orsay, 1991."}],"container-title":["Lecture Notes in Computer Science","MFDBS 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54009-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:23Z","timestamp":1619572703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54009-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540090","9783540473480"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-54009-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}