scholarly journals Active-U-Datalog: Integrating active rules in a logical update language

1998 ◽  
pp. 107-133 ◽  
Author(s):  
Elisa Bertino ◽  
Barbara Catania ◽  
Vincenzo Gervasi ◽  
Alessandra Raffaetà
Keyword(s):  
Active Rules

Preserving Relationship Cardinality Constraints in Relational Schemata

2002 ◽  
pp. 66-112
Author(s):  
Dolores Cuadra ◽  
Carlos Nieto ◽  
Paloma Martinez ◽  
Elena Castro ◽  
Manuel Velasco
Keyword(s):  
Relational Model ◽  
Future Research ◽  
Methodological Framework ◽  
Cardinality Constraint ◽  
Cardinality Constraints ◽  
Active Rules ◽  
Model Following ◽  
Methodological Approaches ◽  
The Relationship ◽  
Practical Implications

This chapter is devoted to the study of the transformation of conceptual into logical schemata in a methodological framework focusing on a special ER construct: the relationship and its associated cardinality constraints. The section entitled “EER Model Revised: relationships and cardinality constraint” reviews the relationship and cardinality constraint constructs through different methodological approaches to establish the cardinality constraint definition that will be followed in next sections. The section “Transformation of EER Schemata into Relational Schemata” is related to the transformation of conceptual n-ary relationships (n³2) into the relational model following an active rules approach. Finally, several practical implications as well as future research paths are presented.

Abstract interpretation of active rules and its use in termination analysis

1997 ◽  
pp. 188-202 ◽  
Author(s):  
James Bailey ◽  
Lobel Crnogorac ◽  
Kotagiri Ramamohanarao ◽  
Harald Søndergaard
Keyword(s):  
Abstract Interpretation ◽  
Active Rules ◽  
Termination Analysis
Sign in / Sign up

Export Citation Format

Share Document