## Range restriction for general formulas

- Deductive databases need general formulas in rule bodies, not only conjuctions of literals. This is well known since the work of Lloyd and Topor about extended logic programming. Of course, formulas must be restricted in such a way that they can be effectively evaluated in finite time, and produce only a finite number of new tuples (in each iteration of the TP-operator: the fixpoint can still be infinite). It is also necessary to respect binding restrictions of built-in predicates: many of these predicates can be executed only when certain arguments are ground. Whereas for standard logic programming rules, questions of safety, allowedness, and range-restriction are relatively easy and well understood, the situation for general formulas is a bit more complicated. We give a syntactic analysis of formulas that guarantees the necessary properties.

Author: | Stefan Brass |
---|---|

URN: | urn:nbn:de:kobv:517-opus-41521 |

Document Type: | Conference Proceeding |

Language: | English |

Year of Completion: | 2010 |

Publishing Institution: | Universität Potsdam |

Contributing Corporation: | Gesellschaft für Logische Programmierung e.V. |

Release Date: | 2010/03/04 |

Source: | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 125 - 137 |

Organizational units: | Extern / Extern |

Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |

Collections: | Universität Potsdam / Tagungsbände/Proceedings (nicht forlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Theory of Logic Programming |

Licence (German): | Keine Nutzungslizenz vergeben - es gilt das deutsche Urheberrecht |