Knowledgebase Transformations
β
GΓΆsta Grahne; Alberto O. Mendelzon; Peter Z. Revesz
π
Article
π
1997
π
Elsevier Science
π
English
β 825 KB
We propose a language that expresses uniformly queries and updates on knowledgebases consisting of finite sets of relational structures. The language contains an operator that ``inserts'' arbitrary first-order sentences into a knowledgebase. The semantics of the insertion is based on the notion of u