Implication Problems for Specialization Constraints on Databases Supporting Complex Objects
スポンサーリンク
概要
- 論文の詳細を見る
For a complex object model, a form of range restriction, called specialization constraint (SC), has been proposed, which is associated not only with the properties themselves but also with property value paths. The domain and range of an SC, however, were limited to single classes. In this paper, SCs are generalized to have sets of classes as their domains and ranges. Let Σ be a set of SCs, where each SC in Σ has a set of classes as its domain and a non-empty set of classes as its range. It is proved that an SC is a logical consequence of Σ if and only if it is a finite logical consequence of Σ. Then a sound and complete axiomatization for SCs is presented. Finally, a polynomial-time algorithm is given, which decides whether or not an SC is a logical consequence of Σ.
- 社団法人電子情報通信学会の論文
- 1994-09-25
著者
-
ITO Minoru
Graduate School of Information Science, Nara Institute of Science and Technology (NAIST)
-
Nakanishi Michio
Faculty Of Pharmaceutical Sciences Setsunan University
-
Nakanishi Michio
Faculty Of Engineering Science Osaka University
-
Ito Minoru
Graduate School Of Information Science Nara Institute Of Science And Technology (naist)
-
Ito Minoru
Graduate School Of Information Science Nara Institute Of Science And Technology
関連論文
- Two-layer distributed service placement method on mobile ad-hoc networks (モバイルコンピューティングとユビキタス通信)
- HDAR: Highly Distributed Adaptive Service Replication for MANETs
- Computational Complexity of Finding Meaningful Association Rules
- Implication Problems for Specialization Constraints on Databases Supporting Complex Objects
- ABSORPTION AND EXCRETION OF INDOMETHACIN GEL OINTMENT CONTAINING EGG LECITHIN
- An Approximation Algorithm for the Task-Coalition Assignment Problem
- 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))
- 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
- 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