{"type":"ScholarlyArticle","title":"Deductive Methods for Large Data Bases","authors":[{"name":"Charles Kellogg","slug":"charles-kellogg","given":"Charles","family":"Kellogg","affiliation":""},{"name":"Philip Klahr","slug":"philip-klahr","given":"Philip","family":"Klahr","affiliation":""},{"name":"Larry Travis","slug":"larry-travis","given":"Larry","family":"Travis","affiliation":""}],"abstract":"The design and prototype implementation of a deductive processor for efficient extraction of implicit information from explicit data stored within a relational data-base system is described. General statements (premises or inference rules) as well as queries are expressed in a canonical form as implications. From user queries, the system constructs skeletal derivations (proof plans) through the use of a predicate connection graph, a pre-computed net structure representing possible deductive interactions among the general statements. The system incorporates techniques for rapid selection of small sets of relevant premises (by proof planning); development and elaboration of proof plans; proof plan verification; use of proof plans as a basis for determining data-base access strategies; and instantiation of plans (i.e., turning proof plans into proofs) with retrieved data-base values. Examples of the current capability of the system are illustrated.","doi":null,"url":"https://ijcai.org/proceedings/1977/44","pdf":"https://ijcai.org/proceedings/1977/0044.pdf","markdown":"https://ijcai.org/proceedings/1977/44.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/44","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Representation of Knowledge","track":"Representation of Knowledge","number":44,"pages":{"first":203,"last":208},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}