{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:49:02Z","timestamp":1749221342394},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556930"},{"type":"electronic","value":"9783540472728"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55693-1_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:32:00Z","timestamp":1330252320000},"page":"244-260","source":"Crossref","is-referenced-by-count":5,"title":["Employing integrity constraints for query modification and intensional answer generation in multi-database systems"],"prefix":"10.1007","author":[{"given":"M. M.","family":"Fonkam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. A.","family":"Gray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"14_CR1","unstructured":"T. Amble, \u201cLogic Programming and Knowledge Engineering\u201d, International Computer Series-1987."},{"key":"14_CR2","unstructured":"Arity Corporation, \u201cArity\/Prolog Programming Manual\u201d-Arity Corporation-1987."},{"key":"14_CR3","unstructured":"I.Bratko, \u201cProlog Programming for Artificial Intelligence\u201d, 2nd Edition, Addison-Wesley,-1990."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"F. Bry,H.Decker & R.Manthey, \u201cA Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases\u201d, In Procs. of the Conf., EDBT, Venice-1988.","DOI":"10.1007\/3-540-19074-0_69"},{"key":"14_CR5","unstructured":"A. Bundy, \u201cComputer Modelling of Mathematical Reasoning\u201d, Academic Press Inc. 1983."},{"key":"14_CR6","unstructured":"S.Ceri & G.Pelagatti,\u201cDistributed Databases: Principles and Systems\u201d, McGraw Hill Int.-1987."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"S. Ceri, \u201cLogic Programming and Databases \u2014 surveys in Computer Science\u201d, Springer-Verlag-1990.","DOI":"10.1007\/978-3-642-83952-8"},{"key":"14_CR8","unstructured":"C-L. Chang & R-CT. Lee, \u201cSymbolic Logic and Mechanical Theorem Proving\u201d, Academic Press Inc.-1973."},{"key":"14_CR9","unstructured":"L. Cholvy & R. Demolombe,\u201cQuerying a Rule Base\u201d. In Procs. of the 1st International Conf. on Expert Database Systems, Pp365-371, S. Carolina-L. Kerschberg (Etd)-1987."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"L. Cholvy & E. Pascual, \u201cAnswering Queries Addressed to the Rule Base of Deductive Database\u201d, In Procs of the 2nd Int. Conf. on Info. Processing and Management of Uncertainty in Knowledgebased Systems, pp 138\u2013145. Springer-Verlag. Lecture Notes in Computer Sciences 313.-1988.","DOI":"10.1007\/3-540-19402-9_66"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"W.F.Clocksin & C.S. Mellish, \u201cProgramming in Prolog\u201d, 2nd Edition-Springer-Verlag-1984.","DOI":"10.1007\/978-3-642-96661-3"},{"key":"14_CR12","unstructured":"E.F.Codd, \u201cThe Relational Model of Data for Database Management Systems version 2\u201d, Addison Wesley Pub.Co. 1990."},{"key":"14_CR13","unstructured":"C.J. Date, \u201cAn Introduction to Data Base Systems\u201d, Vols 1(5th Edition) & 2, Addison Wesley Pub.Co.-1990 (Vol I) and-1984 (Vol II)."},{"key":"14_CR14","unstructured":"K.A.Davis & A.R Arora, \u201cConverting A Relational DB model into anEntity-Relationship Model\u201d, \u2014 Proc. 6th Inter. Conf. on Entity Relationship Analysis-1987."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"M.M. Fonkam & W.A. Gray, \u201cAn Approach to Eliciting the Semantics of Relational Databases\u201d, To appear in the Fourth International Conference on Advance information Systems Engineering (CAiSE '92)-1992.","DOI":"10.1007\/BFb0035148"},{"key":"14_CR16","unstructured":"R.A.Frost, \u201cIntroduction to Knowledge Base Systems\u201d, \u2014 Collins Professional & Technical Books, 1986."},{"key":"14_CR17","unstructured":"G.Gardarin & P. Valduriez, \u201cRelational Databases and Knowledge Bases\u201d, Adison-Wesley Pub-Co-1990."},{"key":"14_CR18","unstructured":"P. Gray, \u201cLogic, Algebra and Databases\u201d, Ellis Horwood Series,-1984."},{"key":"14_CR19","first-page":"3","volume":"2","author":"P.M.D. Gray","year":"1988","unstructured":"P.M.D. Gray, G.E. Storrs & J.B.H. du Boulay, \u201cKnowledge representations for database Metadata\u201d,-AI review Vol.2, pp. 3\u201329, 1988.","journal-title":"Knowledge representations for database Metadata"},{"key":"14_CR20","volume-title":"Infotech State of the Art Report on Databases","author":"D. Heimbigner","year":"1981","unstructured":"D. Heimbigner & D. McLeod, \u201cFederated Information Bases \u2014 a preliminary report\u201d, Infotech State of the Art Report on Databases, Pergamon Infotech Ltd, Maidenhead,U.K., 1981."},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"D. Heimbigner & D.McLeod, \u201cA Federated Architecture for Information Management\u201d, ACM Trans. on Office Information Systems-1985.","DOI":"10.1145\/4229.4233"},{"key":"14_CR22","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538202.001.0001","volume-title":"Essentials of Logic Programming","author":"C.J. Hogger","year":"1990","unstructured":"C.J. Hogger, \u201cEssentials of Logic Programming\u201d, Clarendon Press. Oxford-1990."},{"issue":"3","key":"14_CR23","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0743-1066(87)90003-3","volume":"4","author":"L. Imielinski","year":"1987","unstructured":"L. Imielinski, \u201cIntelligent Query Answering in Rule Based Systems\u201d,Journal of Logic Programming, 4(3):229\u2013258, Sept,-1987.","journal-title":"Journal of Logic Programming"},{"key":"14_CR24","unstructured":"R.G. Johnson; \u201cIntegrating Data and Meta-data to enhance the user interface\u201d, Procs. of the 2th British National Conf. on Databases,-1984."},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"W.Kent, \u201cLimitations of Record-Based Information Models\u201d, ACM Trans. on Database Systems, 1989.","DOI":"10.1016\/B978-0-934613-53-8.50012-1"},{"key":"14_CR26","volume-title":"Implementation and Critique of an Algorithm which maps a Relational Database to a Conceptual Model","author":"K. Kalman","year":"1991","unstructured":"Katalin Kalman, \u201cImplementation and Critique of an Algorithm which maps a Relational Database to a Conceptual Model\u201d, Procs. of the 3rd International Conference on Advance Information Systems Engineering, Trodheim, Norway, May 1991, Springer Verlag."},{"key":"14_CR27","unstructured":"J.J. King, \u201cQUIST: A System for Semantic Query Optimisation in Relational Databases\u201d, Procs. of the 7th VLDB Conf., Cannes France, 1981."},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"J.J. King, \u201cModelling Concepts for Reasoning about Access to Knowledge\u201d, Procs. Workshop on Data abstraction, Databases and Conceptual Modelling, 1981.","DOI":"10.1145\/800227.806901"},{"key":"14_CR29","unstructured":"R.A. Kowalski, \u201cLogic for Problem Solving\u201d, Elsvier North Holland, 1979."},{"key":"14_CR30","unstructured":"R. Kowalski, F. Sadri & P. Soper, \u201cIntegrity Checking in Deductive Databases\u201d, Procs. of the 13th VLDB-1987."},{"key":"14_CR31","volume-title":"An Application of General Purpose Theorem-Proving to Database Integrity","author":"R. Kowalski","year":"1987","unstructured":"R. Kowalski & S. Sadri, \u201cAn Application of General Purpose Theorem-Proving to Database Integrity\u201d, Procs. of the Workshop on Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, Ca, 1987."},{"key":"14_CR32","unstructured":"D. Li, \u201cA Prolog Database System\u201d, Research Studies Press, 1984."},{"key":"14_CR33","unstructured":"W.Litwin, \u201cFrom Database Systems to Multidatabase Systems: Why and How?\u201d, In Procs. of The British National Conference on Databases,Ed.by W.A. Gray Cardiff-1988,."},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"W.Litwin, Concepts for Multidatabase Manipulation Languages\u201d,-JCIT-4, Jerusalem, (June,1984) pp433\u2013442.","DOI":"10.1109\/ICDE.1984.7271258"},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"W.Litwin &, \u201cAn Overview of the Multi-database Manipulation Language MSDL\u201d, Procs of the IEEE,Vol. 75, NO. 5, May 1987.","DOI":"10.1109\/PROC.1987.13777"},{"key":"14_CR36","unstructured":"W.Litwin,A.Abdellatif,B.Nicolas,Ph.Vigier & A.Zeroul, \u201cMSQL: Un Langage Multibase\u201d, INRIA \u2014 Research Rep. 695, June, 1987. Also in Info. Science \u2014 An international Journal, Special Issue on Databases, 1987."},{"key":"14_CR37","unstructured":"A. Motro, \u201cUsing Integrity Constraints to Provide Intensional Answers to Relational Queries\u201d, Procs. of the 15th International Conf. on VLDBs, Amsterdam,-1989."},{"key":"14_CR38","unstructured":"A. Pirotte & D.Roelants. \u201cConstraints for Improving the Generation of Intensional Answers in a Deductive Answer\u201d. In the Procs. of the International Conf. on Data Engineering, Los Angeles, California-1989."},{"key":"14_CR39","volume-title":"Towards a logical reconstruction of Relational Database Theory\u201d, in On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages","author":"R. Reiter","year":"1984","unstructured":"R. Reiter, \u201cTowards a logical reconstruction of Relational Database Theory\u201d, in On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, Springer-Verlag, New York, 1984."},{"key":"14_CR40","doi-asserted-by":"crossref","unstructured":"M. Stonebraker, \u201cImplementation of Integrity Constraints and Views by Query Modification\u201d, Procs. ACM SIGMOD,-1975.","DOI":"10.1145\/500087.500091"},{"key":"14_CR41","doi-asserted-by":"crossref","unstructured":"I-Y.Song,H-J.Kim & P. Geutner, \u201cIntensional Query Processing: A Three-Step Approach\u201d, Procs. 1st International Conf. on Databases and Expert Systems Applications, Vienna-1990.","DOI":"10.1007\/978-3-7091-7553-8_88"},{"key":"14_CR42","volume-title":"Data Models","author":"D.C Tsichritzis","year":"1982","unstructured":"D.C Tsichritzis & F.H. Lochovsky, \u201cData Models\u201d, Published by Prentice Hall Inc. \u2014 New Jersey-1982."},{"key":"14_CR43","doi-asserted-by":"crossref","unstructured":"A.J. Tulp, \u201cConcepts for Intelligent Database front-end Systems\u201d, Procs. of the 1st International Conf. on Databases and Expert Systems Applications, Vienna,-1990.","DOI":"10.1007\/978-3-7091-7553-8_53"},{"key":"14_CR44","unstructured":"X.Y.Wang,N.J.Fiddian & W.A.Gray, \u201cSemantic Transaction Optimisation in Relational Databases\u201d, Procs. of the 8th British National Conference on Databases \u2014 Edited by A.Brown & P. Hitchcock.-1990."},{"key":"14_CR45","unstructured":"L. Wos,R.Overbeen,E.Lusk & J.Boyle, \u201cAutomated Reasoning: Introduction and Applications\u201d, Prentice-Hall, Inc.1984."}],"container-title":["Lecture Notes in Computer Science","Advanced Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55693-1_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T14:39:53Z","timestamp":1713623993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55693-1_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556930","9783540472728"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-55693-1_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}