{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:01Z","timestamp":1725490081630},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003151"},{"type":"electronic","value":"9783540362807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36280-0_11","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T07:16:50Z","timestamp":1187248610000},"page":"152-170","source":"Crossref","is-referenced-by-count":0,"title":["A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories"],"prefix":"10.1007","author":[{"given":"Hitomi","family":"Okuma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasuo","family":"Kawahara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Brink, C., Kahl, W. and Schmidt, G.(eds.): Relational Methods in Computer Science, Advances in Computing Science. Springer-Verlag, 1997","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Beeri, C., Fagin, R. and Howard, J.H.: A complete axiomatization for functional and multivalued dependencies in database relations. In Proc. ACM SIGMOD Internat. Conf. on Management of Data, Toronto, 1977, 47\u201361","DOI":"10.1145\/509404.509414"},{"key":"11_CR3","unstructured":"Buszkowski, W. and Or\u0142owska, E.: Indiscernibility-based formalization of dependencies in information systems. In Or\u0142owska, E. (ed.), Incomplete information: Rough set analysis, Physica Verlag, 1998, 293\u2013315."},{"key":"11_CR4","unstructured":"Freyd, P.J. and Scedrov, A.: Categories, Allegories. North-Holland, 1990."},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(83)90084-1","volume":"26","author":"S. Ginsburg","year":"1983","unstructured":"Ginsburg, S. and Hull, R.: Order dependency in the relational model. Theor. Comput. Sci. 26(1983), 149\u2013195.","journal-title":"Theor. Comput. Sci."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Jaoua, A., Belkhiter, N., Ounalli, H. and Moukam, T.: Databases. In [1], 197\u2013210.","DOI":"10.1007\/978-3-7091-6510-2_13"},{"issue":"1","key":"11_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2000-42101","volume":"42","author":"W. MacCaull","year":"2000","unstructured":"MacCaull, W.: A proof system for dependencies for information relations. Fundamenta Informaticae, 42(1) (2000) 1-27.","journal-title":"Fundamenta Informaticae"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"MacCaull, W.: A tableaux procedure for the implication problem for association rules. In Or\u0142owska, E. and Szalas, A. (eds.), Relational Methods for Computer Science Applications, Springer-Physica Verlag, 2001, 77\u201395.","DOI":"10.1007\/978-3-7908-1828-4_5"},{"issue":"2","key":"11_CR9","doi-asserted-by":"crossref","first-page":"91","DOI":"10.5109\/13495","volume":"32","author":"H. Okuma","year":"2000","unstructured":"Okuma, H. and Kawahara, Y.: Relational aspects of relational database dependencies. Bulletin of Informatics and Cybernetics, 32(2)(2000), 91\u2013104.","journal-title":"Bulletin of Informatics and Cybernetics"},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"6","DOI":"10.3233\/FI-1987-10104","volume":"10","author":"E. Or\u0142owska","year":"1987","unstructured":"Or\u0142owska, E.: Algebraic approach to database constraints. Fundamenta Informaticae, 10 (1987), 6.","journal-title":"Fundamenta Informaticae"},{"key":"11_CR11","unstructured":"Ounalli, H. and Jaoua, A.: Fuzzy difunctional dependencies. In Proc. 3rd RelMiCS, Hammamet, Tunisia, 1997, 51\u201362."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Schmidt, G. and Str\u00f6hlein, T.: Relations and Graphs \u2014 Discrete Mathematics for Computer Scientists. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-77968-8"}],"container-title":["Lecture Notes in Computer Science","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36280-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T21:44:22Z","timestamp":1629582262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36280-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003151","9783540362807"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-36280-0_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}