Amanote Research

Amanote Research

    RegisterSign In

A Logical Foundation for Deductive Object-Oriented Databases

doi 10.1109/dasfaa.2001.916372
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2001

Authors
M. LiuG. Dobbie
Publisher

IEEE


Related search

Object Interaction in Object-Oriented Deductive Conceptual Models

Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer ProcessesFluid Flow
1993English

A Belief Revision Framework for Probabilistic Object-Oriented Databases

Review of Business Information Systems (RBIS)
2006English

A Theorem Prover-Based Analysis Tool for Object-Oriented Databases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Implementation Issues in Multilevel Security for Object-Oriented Databases

1990English

Subsumption Between Queries to Object-Oriented Databases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

On Interface Objects in Object-Oriented Databases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

A Compile-Time Model for Safe Information Flow in Object-Oriented Databases

1997English

On Modal Deductive Databases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Framework for Method Evolution and Behavior Consistency in Object-Oriented Databases

International Journal of Software Engineering and Knowledge Engineering
Computer GraphicsComputer NetworksCommunicationsComputer-Aided DesignArtificial IntelligenceSoftware
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy