{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T12:47:35Z","timestamp":1759063655233},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001317"},{"type":"electronic","value":"9783540361312"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36131-6_15","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T05:42:30Z","timestamp":1186897350000},"page":"141-150","source":"Crossref","is-referenced-by-count":23,"title":["SLFD Logic: Elimination of Data Redundancy in Knowledge Representation"],"prefix":"10.1007","author":[{"given":"Pablo","family":"Cordero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manolo","family":"Enciso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angel","family":"Mora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Inmaculada P.","family":"de Guzm\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"15_CR1","unstructured":"William W. Armstrong. Dependency structures of data base relationships. Proc. IFIP Congress. North Holland, Amsterdam, pages 580\u2013583, 1974."},{"key":"15_CR2","unstructured":"Paolo Atzeni and Valeria De Antonellis. Relational Database Theory. The Benjamin\/Cummings Publishing Company Inc., 1993."},{"issue":"6","key":"15_CR3","doi-asserted-by":"publisher","first-page":"965","DOI":"10.1109\/69.250078","volume":"5","author":"D.A. Bell","year":"1993","unstructured":"D.A. Bell. From data properties to evidence. IEEE Transactions on Knowledge andData Engireering, 5(6):965\u2013968, 1993.","journal-title":"IEEE Transactions on Knowledge andData Engireering"},{"key":"15_CR4","unstructured":"D.A. Bell and J.W. Guan. Computational methods for rought classifications and discovery. J. American Society for Information Sciences, To appear. Special issue on Data Mining."},{"key":"15_CR5","unstructured":"Elisa Bertino, Barbara Catania, and Gian Piero Zarri. Intelligent Database Systems. ACM Press. Addison-Wesley, ISBN 0-201-87736-8, 2001."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"L. E. Bertossi and J. C. Ferretti. SCDBR: A reasoner for specification in the situation calculus of database updates. In 1st International Conference on Temporal Logic, Berlin, 1994.","DOI":"10.1007\/BFb0014009"},{"key":"15_CR7","unstructured":"Edgar F. Codd. The relational model for database management: Version 2. reading, mass. Addison Wesley, 1990."},{"key":"15_CR8","unstructured":"Manuel Enciso and Angel Mora. FD3: A functional dependencies data dictionary. Proceedings of the Fourth Conference on Enterprise Information Systems (ICEIS). Ciudad Real, Spain, 2:807\u2013811, 2002 Apr."},{"issue":"6","key":"15_CR9","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1147\/rd.216.0534","volume":"21","author":"R. Fagin","year":"1977","unstructured":"Ronald Fagin. Functional dependencies in a relational database and propositional logic. IBM. Journal of research andd evelopment., 21 (6):534\u2013544, 1977.","journal-title":"IBM. Journal of research andd evelopment"},{"issue":"1","key":"15_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(98)00101-5","volume":"107","author":"Y. A. Feldman","year":"1999","unstructured":"Yishai A. Feldman and Doron A. Friedman. Portability by automatic translation: A large-scale case study. Artificial Intelligence, 107(1):1\u201328, 1999.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0004-3702(91)90092-X","volume":"50","author":"R. Greiner","year":"1991","unstructured":"Rusell Greiner. Finding optimal derivation strategies in redundant knowledge bases. Artificial Intelligence, 50(1):95\u2013115, 1991.","journal-title":"Artificial Intelligence"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/S0004-3702(98)00090-3","volume":"105","author":"J. W. Guan","year":"1998","unstructured":"J. W. Guan and D. A. Bell. Roughcomputational methods for information systems. Artificial Intelligence, 105:77\u2013103, 1998.","journal-title":"Artificial Intelligence"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/S0004-3702(98)00090-3","volume":"105","author":"J.W. Guan","year":"1998","unstructured":"J.W. Guan and D.A. Bell. Roughcomputational methods for information systems. Artificial Intelligence, 105:77\u2013103, 1998.","journal-title":"Artificial Intelligence"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Erika Hajnicz. Time structures. formal description and algorithmic representation. In Lecture Notes in Artificial Intelligence. Num. 1047. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-60941-5"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(98)00114-3","volume":"108","author":"T. Ibaraki","year":"1999","unstructured":"Toshihide Ibaraki, Alexander. Kogan, and Kazuhisa Makino. Functional dependencies in horn theories. Artificial Intelligence, 108:1\u201330, 1999.","journal-title":"Artificial Intelligence"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Zohar Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Jan Paredaens, Paul De Bra, Marc Gyssens, and Dirk Van Van Gucht. The structure of the relational database model. EATCS Monographs on Theoretical Computer Science, 1989.","DOI":"10.1007\/978-3-642-69956-6"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Z. Pawlak. Rough Set: teoretical aspects of reasoning about data. Kluwer, 1991. Dordrecht, Netherlands.","DOI":"10.1007\/978-94-011-3534-4"},{"key":"15_CR19","unstructured":"David Robertson and Jaum Agust\u00ed. Lightweight uses of logic in conceptual modelling. Software Blueprints. ACM Press. Ed. Addison Wesley, 1999."},{"key":"15_CR20","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1145\/203052.203061","volume":"13","author":"Alexander Tuzhilin","year":"1995","unstructured":"Alexander Tuzhilin. Templar: a knowledge-based language for software specifications using temporal logic. ACM Transactions on Information Systems, 13:269\u2013304, July 1995.","journal-title":"ACM Transactions on Information Systems"},{"key":"15_CR21","unstructured":"Jeffrey D. Ullman. Database and knowledge-base systems. Computer Science Press, 1988."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2014 IBERAMIA 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36131-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:45:15Z","timestamp":1556754315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36131-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001317","9783540361312"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-36131-6_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}