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

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-49059-0_26
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas

1995English

A Logical Foundation for Deductive Object-Oriented Databases

2001English

Saoithín: A Theorem Prover for UTP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Belief Revision Framework for Probabilistic Object-Oriented Databases

Review of Business Information Systems (RBIS)
2006English

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

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

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

Privacy PolicyRefund Policy