Specialization Constraints for a Complex Object Model Supporting Selective Inheritance
スポンサーリンク
概要
- 論文の詳細を見る
For a complex object model, a form of range restriction, Called specialization constraint (SC), has been studied. On the other hand, very few models have been proposed that support selective inheritance. In this paper, the following consideration is taken into SCs for a complex object model supporting selective inheritance. A polynomial-time algorithm is given for deciding if a given database schema is well-formed. A sound and complete axiomatization for SCs is presented. A polynomial-time algorithm is given that decides if an SC is a logical consequence of a set of SCs. Finally, another polynomial-time algorithm is given, which decides if there exists a database that contains a given path from a given class.
- 社団法人電子情報通信学会の論文
- 1995-11-25
著者
-
SUZUKI Nobutaka
Graduate School of Library, Information and Media Studies, University of Tsukuba
-
Ito Minoru
Graduate School Of Information Science Nara Institute Of Science And Technology
-
Suzuki Nobutaka
Graduate School Of Information Science Nara Institute Of Science And Technology
関連論文
- An Algorithm for Inferring K Optimum Transformations of XML Document from Update Script to DTD
- Computational Complexity of Finding Meaningful Association Rules
- Implication Problems for Specialization Constraints on Databases Supporting Complex Objects
- An Approximation Algorithm for the Task-Coalition Assignment Problem
- An XML Transformation Algorithm Inferred from an Update Script between DTDs
- A Formal Approach to Detecting Security Flaws in Object-Oriented Databases (Special Issue on New Generation Database Technologies)
- An Authorization Model for Object-Oriented Databases and Its Efficient Access Control
- Complexity of the Type-Consistency Problem for Acyclic Object-Oriented Database Schemas
- A Personal Navigation System with Functions to Compose Tour Schedules Based on Multiple Conflicting Criteria(Selected Papers from ICMU 2005(Second International Conference on Mobile Computing and Ubiquitous Networking))
- A Polynomial-Time Algorithm for Merging Structured Documents(Contents Technology and Web Information Systems)
- On inferring an XML document transformation algorithm from an edit script between DTDs (データ工学)
- On inferring an XML document transformation algorithm from an edit script between DTDs (ディペンダブル コンピューティング)
- HDAR : Highly Distributed Adaptive Service Replication for MANETs
- Probabilistic Coverage Methods in People-Centric Sensing
- Specialization Constraints for a Complex Object Model Supporting Selective Inheritance
- A Reinforcement Learning Method with the Inference of the Other Agent's Policy for 2-Player Stochastic Games
- On Finding an Edit Script between an XML Document and a DTD
- An Edit Operation-Based Approach to the Inclusion Problem for DTDs
- An Edit Operation-Based Approach to the Inclusion Problem for DTDs
- A Personal Navigation System with Functions to Compose Tour Schedules Based on Multiple Conflicting Criteria
- A Personal Navigation System with Functions to Compose Tour Schedules Based on Multiple Conflicting Criteria
- Probabilistic Coverage Methods in People-Centric Sensing