A logic for programming with complex objects
A repaired and significantly extended version of Meier's \(O\)-logic is presented. The logic is aiming to combine object-oriented and deductive approaches to databases: the authors present a logic language with a well-defined semantics that extends predicate calculus and accomodates deducing with complex objects and object identity. The syntax of the proposed logic is based on an alphabet consisting of object constructors, single-valued attributes, set-valued attributes, class names, object variables, logical connectives and quantifiers. A model theory is given and it is shown how predicates can be encoded as \(O\)-terms and a direct semantics is presented that does not appeal to this encoding. Concepts of a deductive database, query and answer are defined. In a series of examples certain capabilities for set-grouping and inheritance modeling are given. Inconsistency-tolerant attributes are introduced. It is proven that \(O\)-logic is a syntactic variant of a predicate-calculus- based language. A sound and complete (resolution-based) proof procedure is presented. A logic programming semantics is outlined and it is shown that perfect model semantics can be adapted to \(O\)-logic. A note is devoted to the relationship of the \(O\)-logic to frame based languages in AI.
- `` Strong NP-Completeness Results
- A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
- A logic for reasoning with inconsistency
- An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines
- Extended algebra and calculus for nested relational databases
- scientific article; zbMATH DE number 4181307 (Why is no real title available?)
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 4199654 (Why is no real title available?)
- scientific article; zbMATH DE number 4199656 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- scientific article; zbMATH DE number 4185011 (Why is no real title available?)
- Logical foundations of object-oriented and frame-based languages
- Login: a logic programming language with built-in inheritance
- Object identity as a query language primitive
- On first-order-logic databases
- The Specialization of Programs by Theorem Proving
- Why not negation by fixpoint?
- The expressive power of stratified logic programs with value invention
- An object-oriented deductive language
- On the expressive power of F-logic language
- MGS: a rule-based programming language for complex objects and collections
- scientific article; zbMATH DE number 107704 (Why is no real title available?)
- scientific article; zbMATH DE number 1203023 (Why is no real title available?)
- scientific article; zbMATH DE number 549985 (Why is no real title available?)
- scientific article; zbMATH DE number 638304 (Why is no real title available?)
- On integrating objects and relations using multimethods
- Logical foundations of object-oriented and frame-based languages
- IsaLog¬: a deductive language with negation for complex-object databases with hierarchies
- scientific article; zbMATH DE number 1945864 (Why is no real title available?)
- scientific article; zbMATH DE number 6991660 (Why is no real title available?)
- scientific article; zbMATH DE number 826298 (Why is no real title available?)
- Categorial graphs
- The expressive power of cardinality-bounded set values in object-based data models
- A semideterministic approach to object creation and nondeterminism in database queries
- A logical framework for deductive objects
- Extended database logic: Complex objects and deduction
This page was built for publication: A logic for programming with complex objects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q686642)
