A logic-based integration of active and deductive databases

被引:16
作者
Fernandes, AAA
Williams, MH
Paton, NW
机构
[1] HERIOT WATT UNIV, DEPT ELECT & COMP ENGN, EDINBURGH EH14 4AS, MIDLOTHIAN, SCOTLAND
[2] UNIV MANCHESTER, DEPT COMP SCI, MANCHESTER M13 9PL, LANCS, ENGLAND
基金
英国工程与自然科学研究理事会;
关键词
active databases; deductive databases; event calculi; logic programming;
D O I
10.1007/BF03037238
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
A logic-based approach to the specification of active database functionality is presented which not only endows active databases with a well-defined and well-understood formal semantics, but also tightly integrates them with deductive databases. The problem of endowing deductive databases with rule-based active behaviour has been addressed in different ways. Typical approaches include accounting for active behaviour by extending the operational semantics of deductive databases, or, conversely, accounting for deductive capabilities by constraining the operational semantics of active databases. The main contribution of the paper is an alternative approach in which a class of active databases is defined whose operational semantics is naturally integrated with the operational semantics of deductive databases without either of them strictly subsuming the other. The approach is demonstrated via the formalization of the syntax and semantics of an active-rule language that can be smoothly incorporated into existing deductive databases, due to the fact that the standard formalization of deductive databases is reused, rather than altered or extended. One distinctive feature of the paper is its use of a history, as defined in the Kowalski-Sergot event-calculus, to define event occurrences, database states and actions on these. This has proved to be a suitable foundation for a comprehensive logical account of the concept set underpinning active databases. The paper thus contributes a logical perspective to the ongoing task of developing a formal theory of active databases.
引用
收藏
页码:205 / 244
页数:40
相关论文
共 53 条
[1]  
Abiteboul S., 1995, Foundations of databases, V1st
[2]  
AGRAWAL R, 1989, P 1989 ACM SIGMOD IN
[3]  
[Anonymous], NUMERICAL METHODS SO, DOI DOI 10.1007/978-1-4612-1984-2_19
[4]   DESIGN AND IMPLEMENTATION OR ROCK-AND-ROLL - A DEDUCTIVE OBJECT-ORIENTED DATABASE SYSTEM [J].
BARJA, ML ;
FERNANDES, AAA ;
PATON, NW ;
WILLIAMS, MH ;
DINN, A ;
ABDELMOTY, AI .
INFORMATION SYSTEMS, 1995, 20 (03) :185-211
[5]  
BARJA ML, 1994, 20TH P INT C VER LAR, P463
[6]  
Bayer P., 1993, Knowledge Engineering Review, V8, P145, DOI 10.1017/S0269888900000138
[7]  
BAYER P, 1993, RULES DATABASE SYSTE, P316
[8]  
Branding H., 1994, Rules in Database Systems. Proceedings of the 1st International Workshop on Rules in Database Systems, P111
[9]   A STRUCTURED SPECIFICATION OF ALL ACTIVE DATABASE SYSTEM [J].
CAMPIN, J ;
PATON, NW ;
WILLIAMS, MH .
INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) :47-61
[10]  
CAMPIN J, 1994, UNPUB SPECIFYING ACT