{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T14:19:15Z","timestamp":1648909155719},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1993,3,1]],"date-time":"1993-03-01T00:00:00Z","timestamp":730944000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1993,3]]},"DOI":"10.1007\/bf01556351","type":"journal-article","created":{"date-parts":[[2005,4,21]],"date-time":"2005-04-21T07:00:24Z","timestamp":1114066824000},"page":"83-106","source":"Crossref","is-referenced-by-count":0,"title":["Functional dependencies among Boolean dependencies"],"prefix":"10.1007","volume":"7","author":[{"given":"J.","family":"Demetrovics","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"R\ufffdnyai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hua Nam","family":"Son","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"129","volume":"1","author":"V.B. Alekseev","year":"1989","unstructured":"V.B. Alekseev, On the number of the family of subsets closed under intersection, Diskret. Mat. 1(1989)129?136, in Russian.","journal-title":"Diskret. Mat."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0020-0190(88)90070-1","volume":"27","author":"J. Berman","year":"1988","unstructured":"J. Berman and J. Blok, Positive Boolean dependencies, Inf. Process. Lett. 27(1988)147?150.","journal-title":"Inf. Process. Lett."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/2422.322414","volume":"31","author":"C. Beeri","year":"1984","unstructured":"C. Beeri, M. Dowd, R. Fagin and R. Statman, On the structure of Armstrong relations for functional dependencies, J. ACM 31(1984)30?46.","journal-title":"J. ACM"},{"key":"CR4","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":"A. B\u00e9k\u00e9ssy and J. Demetrovics, Contribution to theory of database relation, Discr. Math. 27(1979)1?10.","journal-title":"Discr. Math."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0012-365X(80)90108-9","volume":"30","author":"A. B\u00e9k\u00e9ssy","year":"1980","unstructured":"A. B\u00e9k\u00e9ssy, J. Demetrovics, L. Hann\u00e1k, P. Frankl and G.O.H. Katona, On the number of maximal dependencies in a database relation of fixed order, Discr. Math. 30(1980)83?88.","journal-title":"Discr. Math."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"G. Burosch, J. Demetrovics, G.O.H. Katona, D.J. Kleitman and A.A. Sapozhenko, On the number of databases and closure operations, Theor. Comp. Sci. 78(1991).","DOI":"10.1016\/0304-3975(91)90359-A"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"J. Demetrovics, L. R\u00f3nyai and Hua Nam Son, On the representation of dependencies by propositional logic, in:Proc. MFDBS 91, Rostock, Germany, ed. J. Demetrovics, B. Thalheim and H.-D. Gerhardt, LNCS 495 (Springer, 1991) pp. 230?242.","DOI":"10.1007\/3-540-54009-1_17"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1147\/rd.216.0534","volume":"21","author":"R. Fagin","year":"1977","unstructured":"R. Fagin, Functional dependencies in relational database and propositional logic, IBM J. Res. Develop. 21(1977)534?544.","journal-title":"IBM J. Res. Develop."},{"key":"CR9","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"M.R. Garey and D.S. Johnson,Computers and Intractability: A Guide to the Theory of NP-Completeness (Freeman, San Francisco, CA, 1979)."},{"key":"CR10","first-page":"385","volume":"9","author":"G. Gottlob","year":"1990","unstructured":"G. Gottlob and L. Libkin, Investigations on Armstrong relations, dependency inference, and excluded functional dependencies, Acta Cybern. 9(1990)385?402.","journal-title":"Acta Cybern."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00289412","volume":"20","author":"H. Mannila","year":"1983","unstructured":"H. Mannila and K.-J. R\u00e4ih\u00e4, On the relationship of minimum and optimum covers for a set of functional dependencies, Acta Inf. 20(1983)143?158.","journal-title":"Acta Inf."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1145\/322261.322263","volume":"28","author":"Y. Sagiv","year":"1981","unstructured":"Y. Sagiv, C. Delobel, D.S.J.R. Parker and R. Fagin, An equivalence between relational database dependencies and a fragment of propositional logic, J. ACM 28(1981)435?453.","journal-title":"J. ACM"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"1016","DOI":"10.1145\/31846.31853","volume":"34","author":"Y. Sagiv","year":"1987","unstructured":"Y. Sagiv, C. Delobel, D.S.J.R. Parker and R. Fagin, Correction to ?An equivalence between relational database dependencies and a fragment of propositional logic?, J. ACM 34(1987)1016?1018.","journal-title":"J. ACM"},{"key":"CR14","first-page":"441","volume":"9","author":"B. Thalheim","year":"1990","unstructured":"B. Thalheim and S. Al-Fedhagi, Preserving two-tuple dependencies under projection, Acta Cybern. 9(1990)441?458.","journal-title":"Acta Cybern."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01556351.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01556351\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01556351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T01:22:52Z","timestamp":1586222572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01556351"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,3]]},"references-count":14,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1993,3]]}},"alternative-id":["BF01556351"],"URL":"https:\/\/doi.org\/10.1007\/bf01556351","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,3]]}}}