{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:19Z","timestamp":1725663919026},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:21:30Z","timestamp":1330208490000},"page":"230-242","source":"Crossref","is-referenced-by-count":6,"title":["On the representation of dependencies by propositional logic"],"prefix":"10.1007","author":[{"given":"J.","family":"Demetrovics","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"R\u00f3nyai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hua nam","family":"Son","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"17_CR1","first-page":"580","volume":"74","author":"W.W. Armstrong","year":"1974","unstructured":"Armstrong, W.W. Dependency Structures of Database Relationships. Information Processing\n74, North-Holland Pub. Co. (1974), 580\u2013583.","journal-title":"Information Processing"},{"issue":"1","key":"17_CR2","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/2422.322414","volume":"31","author":"C. Beeri","year":"1984","unstructured":"Beeri, C., Dowd, M., Fagin, R. and Statman, R. On the structure of Armstrong Relations for Functional Dependencies. J. ACM. 31 1(1984), 30\u201346.","journal-title":"J. ACM"},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0012-365X(79)90064-5","volume":"27","author":"A. B\u00e9k\u00e9ssy","year":"1979","unstructured":"B\u00e9k\u00e9ssy, A. and Demetrovics, J. Contribution to Theory of database relation. Discrete Math.\n27 (1979), 1\u201310.","journal-title":"Discrete Math."},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF00337692","volume":"4","author":"G. Burosh","year":"1987","unstructured":"Burosh, G., Demetrovics, J. and Katona, G. O. J. The poset of closures as a model of changing database. Order\n4 (1987), 127\u2013142.","journal-title":"Order"},{"issue":"5","key":"17_CR5","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1147\/rd.175.0374","volume":"17","author":"C. Delobel","year":"1973","unstructured":"Delobel, C. and Casey, R.G. Decomposition of database and the Theory of Boolean swiching functions. IBM J. Res. Develop.\n17 5(1973), 374\u2013386.","journal-title":"IBM J. Res. Develop."},{"issue":"3","key":"17_CR6","first-page":"247","volume":"4","author":"J. Demetrovics","year":"1979","unstructured":"Demetrovics, J. On the equivalence of candidate keys with Sperner systems, Acta Cybernetica\n4 3 (1979), 247\u2013252.","journal-title":"Acta Cybernetica"},{"key":"17_CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0166-218X(83)90098-7","volume":"6","author":"J. Demetrovics","year":"1983","unstructured":"Demetrovics, J. and Gyepesi, Gy. Some generalized type functional dependencies formalized as equality set on matrices. Discrete Applied Mathematics\n6 (1983), 35\u201347","journal-title":"Discrete Applied Mathematics"},{"issue":"1","key":"17_CR8","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0898-1221(91)90228-V","volume":"21","author":"J. Demetrovics","year":"1991","unstructured":"Demetrovics, J., R\u00f3nyai, L. and Hua nam Son. Dependency Types. Computers Math. Applic.\n21 1 (1991), 25\u201333.","journal-title":"Computers Math. Applic."},{"issue":"6","key":"17_CR9","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1147\/rd.216.0534","volume":"21","author":"R. Fagin","year":"1977","unstructured":"Fagin, R. Functional dependencies in relational database and Propositional Logic. IBM J. Res. and Develop.\n21 6(1977) 5, 534\u2013544.","journal-title":"IBM J. Res. and Develop."},{"issue":"4","key":"17_CR10","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R. Fagin","year":"1982","unstructured":"Fagin, R. Horn Clauses and Database Dependencies. J. ACM.\n29 4 (1982), 952\u2013985.","journal-title":"J. ACM."},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1016\/0020-0190(87)90110-4","volume":"24","author":"G. Gottlob","year":"1987","unstructured":"Gottlob, G. On the size of nonredundant FD-covers. Inf. Processing Letters\n24 (1987), 355\u2013360.","journal-title":"Inf. Processing Letters"},{"key":"17_CR12","unstructured":"Maier, D. The Theory of Relational Databases. Computer Science Press, 1983."},{"key":"17_CR13","first-page":"126","volume":"33","author":"H. Mannila","year":"1986","unstructured":"Mannila, H. and R\u00e4ih\u00e4, K-J. Design by Example: An Application of Armstrong Relations. JCSS\n33 (1986), 126\u2013141","journal-title":"JCSS"},{"key":"17_CR14","unstructured":"Mannila, H. and R\u00e4ih\u00e4, K-J. On the complexity of inferring functional dependencies. Manuscript. 1989."},{"key":"17_CR15","volume-title":"Data Dependencies in the Relational Model of Data: A Generalization","author":"F. Sadri","year":"1980","unstructured":"Sadri, F., Data Dependencies in the Relational Model of Data: A Generalization. Doctoral Diss., Princeton Univ., Princeton, NJ, October 1980."},{"issue":"3","key":"17_CR16","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/322261.322263","volume":"28","author":"Y. Sagiv","year":"1981","unstructured":"Sagiv, Y., Delobel, C., Parker, D.S.JR., Fagin, R., An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic, JACM\n28 3(1981), 435\u2013453.","journal-title":"JACM"},{"issue":"4","key":"17_CR17","doi-asserted-by":"crossref","first-page":"1016","DOI":"10.1145\/31846.31853","volume":"34","author":"Y. Sagiv","year":"1987","unstructured":"Sagiv, Y., Delobel, C., Parker, D.S.JR., Fagin, R., Correction to \u201cAn Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic\u201d, JACM\n34 4(1987), 1016\u20131018.","journal-title":"JACM"},{"key":"17_CR18","unstructured":"Sch\u00f6ning, U., Logic for Computer Scientists, Birkh\u00e4user, 1989."},{"key":"17_CR19","unstructured":"Thalheim, B., Funktionale Abh\u00e4ngigkeiten in relationalen Datenstrukturen. EIK, 1985, 1\/2, 23\u201333."},{"key":"17_CR20","first-page":"171","volume":"37","author":"B. Thalheim","year":"1987","unstructured":"Thalheim, B., Design tools for large relational database systems. MTA SZTAKI K\u00f6zlem\u00e9nyek\n37 (1987), 171\u2013183.","journal-title":"MTA SZTAKI K\u00f6zlem\u00e9nyek"}],"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_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:18Z","timestamp":1619572698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54009-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540090","9783540473480"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-54009-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}