Logic programming and databases
Proceedings from the first international workshop on Expert database systems
ICSE '85 Proceedings of the 8th international conference on Software engineering
Implementation of logiclal query languages for databases (abstract only)
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
The semantic data model: a modelling mechanism for data base applications
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
The Multipurpose Presentation System
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Action and transaction skeletons:: High level language constructs for database transactions
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
An implementation model for reasoning with complex objects
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Nested relation based database knowledge representation
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
An object/task modleing approach based on domain knowledge and control knowledge representation
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
The Management of Dynamically Distributed Database Windows (Extended Abstract)
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Correlated Query Process and P2P Execution
Globe '08 Proceedings of the 1st international conference on Data Management in Grid and Peer-to-Peer Systems
| Hi-index | 0.00 |
A rule-based object/task modelling approach is proposed which is characterized by specifying object behaviors and domain rules in terms of object-oriented logic programming, and specifying tasks and meta-rules in terms of network-oriented formalism. In addition the concepts of associations, virtual objects, multiple level integrity control and net expressions are introduced. The object-oriented logic programming system is extended for supporting the semantic modelling, and an explicit control knowledge representation mechanism is developed. This approach may be viewed as a step to the integration of object-oriented programming, logic programming, semantic modelling and event modelling, and to the combination of forward chaining and backward chaining techniques. Therefore, it can provide complementary benefits in deductive query support, integrity control, explicit control knowledge representation and intelligent user interface, and enhance the flexibility and extendibility of knowledge based systems to accommodate applications in multiple domains, towards a generalized, rule-based management of data, action and operational schemes. This approach is being designed and partially implemented on top of System C [Chen 85b] on a VAX computer.