{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:49:03Z","timestamp":1749221343550},"publisher-location":"Boston, MA","reference-count":40,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781468433869"},{"type":"electronic","value":"9781468433845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-1-4684-3384-5_8","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"201-236","source":"Crossref","is-referenced-by-count":27,"title":["DEDUCE 2: Further Investigations of Deduction in Relational Data Bases"],"prefix":"10.1007","author":[{"given":"C. L.","family":"Chang","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/320455.320457","volume":"1","author":"MM Astrahan","year":"1976","unstructured":"Astrahan, M. M., Blasgen, M. W., Chamberlin, D. C., Eswaran, K. P., Gray, J. N., Griffiths, P. P., King, W. F., Lorie, R. A., McJones, P. R., Mehl, J. W., Putzolu, G. R., Traiger, I. L., Wade, B. W., and Watson, V. [1976] System R: Relational Approach to Database Management, ACM Transactions on Database Systems1, 2 (June 1976), 97\u2013137.","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/320493.320489","volume":"1","author":"PA Bernstein","year":"1976","unstructured":"Bernstein, P. A. [1976] Synthesizing Third Normal Form Relations from Functional Dependencies, ACM Transactions on Database Systems1, 4 (Dec. 1976), 277\u2013298.","journal-title":"ACM Transactions on Database Systems"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1145\/361219.361221","volume":"11","author":"RF Boyce","year":"1975","unstructured":"Boyce, R. F., Chamberlin, D. D., King, W. F., Ill, and Hammer, M. M. [1975] Specifying Queries.as Relational Expressions: SQUARE, CACM IS, 11 (November 1975), 621\u2013628.","journal-title":"CACM IS"},{"key":"8_CR4","volume-title":"SEQUEL: A Structured English Query Language","author":"DD Chamberlin","year":"1974","unstructured":"Chamberlin, D. D., and Boyce, R. F. [1974] SEQUEL: A Structured English Query Language, Proceedings of the 1974 ACM-SIGFIDET Workshop on Data Description, Access and Control, ACM, New York, 1974."},{"key":"8_CR5","first-page":"108","volume-title":"Pattern Recognition and Artificial Intelligence","author":"CL Chang","year":"1976","unstructured":"Chang, C. L. [1976] DEDUCE \u2014 A Deductive Query Language for Relational Data Bases, In Pattern Recognition and Artificial Intelligence (C. H. Chen, Ed.), Academic Press, Inc., New York, 1976, 108\u2013134."},{"key":"8_CR6","first-page":"1978","volume-title":"An Opitmization Problem in Relational Data Bases","author":"CL Chang","year":"1978","unstructured":"Chang, C. L. [1978] An Opitmization Problem in Relational Data Bases, IBM Research Report RJ2287, San Jose, Calif., 1978."},{"key":"8_CR7","first-page":"1973","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"CL Chang","year":"1973","unstructured":"Chang, C. L. and Lee, R. C. T. [1973] Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, N. Y., 1973."},{"key":"8_CR8","series-title":"IBM Research Report RJ 2117","first-page":"1977","volume-title":"Using Rewriting Rules for Connection Graphs to Prove Theorems","author":"CL Chang","year":"1977","unstructured":"Chang, C. L. and Slagle, J. R. [1977] Using Rewriting Rules for Connection Graphs to Prove Theorems, IBM Research Report RJ 2117, San Jose, Calif., 1977."},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"KL Clark","year":"1978","unstructured":"Clark, K. L. [1978] Negation as Failure, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 293\u2013322."},{"issue":"6","key":"8_CR10","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E. F. [1970] A Relational Model for Large Shared Data Banks, CACM13, 6 (June 1970), 377\u2013387.","journal-title":"CACM"},{"key":"8_CR11","first-page":"33","volume-title":"Data Base Systems, Courant Computer Science Symposia Series, Vol. 6","author":"EF Codd","year":"1971","unstructured":"Codd, E. F. [1971a] Further Normalization of the Data Base Relational Model, In Data Base Systems, Courant Computer Science Symposia Series, Vol. 6 (R. Rustin, Ed.), Prentice-Hall, 1971, 33\u201364."},{"key":"8_CR12","first-page":"1971","volume-title":"A Data Base Sublanguage founded on the Relational Calculus","author":"EF Codd","year":"1971b","unstructured":"Codd, E. F. [1971b] A Data Base Sublanguage founded on the Relational Calculus, Proceedings of 1971 ACM-SIGFIDET Workshop on Data Description, Access, and Control, ACM, New York, 1971."},{"key":"8_CR13","first-page":"179","volume-title":"Seven Steps to RENDEZVOUS with the Casual User","author":"EF Codd","year":"1974","unstructured":"Codd, E. F. [1974] Seven Steps to RENDEZVOUS with the Casual User, Proceedings IF IP Working Conference on Data Base Management, North-Holland Publishing Co., Amsterdam, 1974, 179\u2013200."},{"key":"8_CR14","series-title":"IBM Research Report RJ2144","volume-title":"RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Relational Data Bases","author":"EF Codd","year":"1978","unstructured":"Codd, E. F., Arnold, R. S., Cadiou, J-M., Chang, C. L. and Roussopoulos, N. [1978] RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Relational Data Bases, IBM Research Report RJ2144, San Jose, Calif., 1978."},{"issue":"5","key":"8_CR15","first-page":"370","volume":"17","author":"C Delobel","year":"1972","unstructured":"Delobel, C., and Casey, R. G. [1972] Decomposition of a Data Base and the Theory of Boolean Switching Functions, IBM J. of Research and Development17, 5 (Sept. 1972), 370\u2013386.","journal-title":"IBM J. of Research and Development"},{"key":"8_CR16","series-title":"IBM Research Report RJ1776","first-page":"1976","volume-title":"Relational Data Base Decomposition and Propositional Logic","author":"R Fagin","year":"1976a","unstructured":"Fagin, R. [1976a] Relational Data Base Decomposition and Propositional Logic, IBM Research Report RJ1776, San Jose, Calif., 1976."},{"key":"8_CR17","series-title":"IBM Research Report RJ1812","volume-title":"Multivalued Dependencies and a New Normal Form for Relational Databases","author":"R Fagin","year":"1976b","unstructured":"Fagin, R. [1976b] Multivalued Dependencies and a New Normal Form for Relational Databases, IBM Research Report RJ1812, San Jose, Calif., 1976."},{"key":"8_CR18","first-page":"55","volume-title":"Computing Joins of Relations","author":"LR Gotlieb","year":"1975","unstructured":"Gotlieb, L. R. [1975] Computing Joins of Relations, Proc. of the ACM International Conference on Management of Data, San Jose, Calif., 1975, 55\u201363."},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-1-4684-3384-5_7","volume-title":"Logic and Data Bases","author":"C Kellogg","year":"1978","unstructured":"Kellogg, C., Klahr, P. and Travis, L. [1978] Deductive Planning and Pathfinding for Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 179\u2013200."},{"key":"8_CR20","first-page":"1977","volume-title":"Pattern-Directed Inference Systems","author":"P Klahr","year":"1977","unstructured":"Klahr, P. [1977] Planning Techniques for Rule Selection in Deductive Question-Answering, In Pattern-Directed Inference Systems (D. Waterman and F. Hayes-Roth, Eds.), Academic Press, New York, 1977."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Kowalski, R. [1975] A Proof Procedure Using Connection Graphs, JACM22, 4 (October 1975), 572\u2013595.","DOI":"10.1145\/321906.321919"},{"key":"8_CR22","first-page":"370","volume-title":"Domain-Oriented Relational Languages","author":"M Lacroix","year":"1977","unstructured":"Lacroix, M., and Pirotte, A. [1977] Domain-Oriented Relational Languages, Proceedings of Third International Conference on Very Large Data Bases, Tokyo, Japan, Oct. 6\u20138, 1977, 370\u2013378."},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/321679.321688","volume":"19","author":"RCT Lee","year":"1972","unstructured":"Lee, R. C. T. [1972] Fuzzy Logic and the Resolution Principle, JACM19, (1972), 109\u2013119.","journal-title":"JACM"},{"key":"8_CR24","volume-title":"Associative Networks \u2014 The Representation and Use of Knowledge","author":"JR McSkimin","year":"1978","unstructured":"McSkimin, J. R. and Minker, J. [1978] A Predicate Calculus Based Semantic Network for Question-Answering Systems, In Associative Networks \u2014 The Representation and Use of Knowledge (N. Findler, Ed.), Academic Press, New York, 1978."},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/500080.500092","volume":"1975","author":"J Minker","year":"1975a","unstructured":"Minker, J. [1975a] Performing Inferences over Relational Data Bases, Proa, of 1975 ACM-SIGMOD International Conference on Management of Data,1975, 79\u201391.","journal-title":"Proa, of 1975 ACM-SIGMOD International Conference on Management of Data"},{"key":"8_CR26","volume-title":"Set Operations and Inferences Over Relational Data Bases, Invited Paper","author":"J Minker","year":"1975b","unstructured":"Minker, J. [1975b] Set Operations and Inferences Over Relational Data Bases, Invited Paper, Proc. 4th Texas Conf. on Computing Systems, Nov. 1975. Also Univ. of Md. Technical Report TR-427, December 1975."},{"key":"8_CR27","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-1-4684-3384-5_5","volume-title":"Logic and Data Bases","author":"J Minker","year":"1978","unstructured":"Minker, J. [1978] An Experimental Relational Data Base System Based on Logic, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 107\u2013147."},{"key":"8_CR28","first-page":"1977","volume-title":"A Short Note on the Use of First Order Logic in the Formalization of Functional and Multivalued Dependencies","author":"JM Nicolas","year":"1977","unstructured":"Nicolas, J. M., and Demolombe, R. [1977] A Short Note on the Use of First Order Logic in the Formalization of Functional and Multivalued Dependencies, ONERA-CERT, Toulouse, France, 1977."},{"key":"8_CR29","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-1-4684-3384-5_2","volume-title":"Logic and Data Bases","author":"JM Nicolas","year":"1978","unstructured":"Nicolas, J. M. and Gallaire, H. [1978] Data Bases: Theory vs. Interpretation, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 33\u201354."},{"key":"8_CR30","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-1-4684-3384-5_12","volume-title":"Logic and Data Bases","author":"JM Nicolas","year":"1978","unstructured":"Nicolas, J. M. and Yazdanian, K. [1978] Integrity Checking in Deductive Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 325\u2013344."},{"key":"8_CR31","first-page":"409","volume-title":"Logic and Data Bases","author":"A Pirotte","year":"1978","unstructured":"Pirotte, A. [1978] High Level Data Base Query Languages, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 409\u2013436."},{"key":"8_CR32","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R Reiter","year":"1978","unstructured":"Reiter, R. [1978a] On Closed World Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 55\u201376."},{"key":"8_CR33","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-1-4684-3384-5_6","volume-title":"Logic and Data Bases","author":"R Reiter","year":"1978","unstructured":"Reiter, R. [1978b] Deductive Question-Answering on Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 149\u2013177."},{"key":"8_CR34","series-title":"IBM Research Report RJ1899","first-page":"1977","volume-title":"Independent Components of Relations","author":"J Rissanen","year":"1977","unstructured":"Rissanen, J. [1977] Independent Components of Relations, IBM Research Report RJ1899, IBM, San Jose, Calif. 1977."},{"key":"8_CR35","first-page":"544","volume":"1911","author":"S Sickel","year":"1977","unstructured":"Sickel, S. [1977] Formal Grammars as Models of Logic Derivations, Proceedings of IJCAI-77, 1911, 544\u2013551.","journal-title":"Proceedings of IJCAI-77"},{"key":"8_CR36","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1109\/T-C.1970.222917","volume":"4","author":"JR Slagle","year":"1970","unstructured":"Slagle, J. R., Chang, C. L., and Lee, R.C.T. [1970] A New Algorithm for Generating Prime Implicants, IEEE Trans. Computers C-19, 4 (April 1970), 304\u2013310.","journal-title":"IEEE Trans. Computers C-19"},{"issue":"1965","key":"8_CR37","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L. A. [1965] Fuzzy Sets, Information and Control 8. 1965, 338\u2013353.","journal-title":"Information and Control"},{"key":"8_CR38","series-title":"Memo No. ERL-M479","volume-title":"Fuzzy Logic and Approximate Reasoning","author":"LA Zadeh","year":"1974","unstructured":"Zadeh, L. A. [1974] Fuzzy Logic and Approximate Reasoning, Memo No. ERL-M479, Electronics Research Laboratory, Univ. of Calif., Berkeley, November 1974."},{"key":"8_CR39","volume-title":"PRUF \u2014 A Meaning Representation Language for Natural Language","author":"LA Zadeh","year":"1977","unstructured":"Zadeh, L. A. [1977] PRUF \u2014 A Meaning Representation Language for Natural Language, Electronics Research Laboratory, Univ. of Calif., Berkeley, 1977."},{"key":"8_CR40","first-page":"431","volume-title":"Query by Example","author":"MM Zloof","year":"1975","unstructured":"Zloof, M. M. [1975] Query by Example, Proceedings of the National Computer Conference, Vol. 45, Anaheim, Calif., May, 1975, 431\u2013438."}],"container-title":["Logic and Data Bases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4684-3384-5_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T12:50:26Z","timestamp":1619873426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_8","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}