{"type":"ScholarlyArticle","title":"Relational Strategies for Processing Universally Quantified Queries to Large Data Bases","authors":[{"name":"Koichi Furukawa","slug":"koichi-furukawa","given":"Koichi","family":"Furukawa","affiliation":""}],"abstract":"Relational algebraic strategies are described for processing universally quantified queries. First, a new algorithm is developed to evaluate universally quantit'ied conditional queries of the form [Y: (VYJW1(1,?>~ W2(x,y)). It decomposes the problems into two subproblems using set intersection, summary and join operations within the frame work of relational algebra. Second, the partial multi-valued-dependency decomposition of a relation is introduced as an efficient representation schema to express a set of uni f orm intensional data of the form (Vf;1)p(t). The original relation is defined in terms of the decomposed relations as a relational algebraic equation. A relational algebraic expression corresponding to a query to the original relation is transformed to the one in terms of the decomposed relations using the above equation. Furthermore, the transformed algebraic expression is converted to a simple associative search expression to one of the decomposed relations by applying the rule-based formula manipulation or symbolic evaluation method.","doi":null,"url":"https://ijcai.org/proceedings/1979/67","pdf":"https://ijcai.org/proceedings/1979/0067.pdf","markdown":"https://ijcai.org/proceedings/1979/67.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/67","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":67,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}