45,567 Hits in 8.0 sec

Dynamic integrity constraints definition and enforcement in databases: a classification framework [chapter]

M. A. Pacheco Silva
1997 Integrity and Internal Control in Information Systems  
A dynamic constraint expresses conditions that involve facts of two or more states of the database.  ...  Since the database is expected to satisfy such conditions, a fundamental issue about integrity constraints is their enforcement. Many methods have been developed in this respect.  ...  Because Schwiderski and Saake (1992) deal with past-directed constraint evaluation, they use the transition graphs in a reverse direction.  ... 
doi:10.1007/978-0-387-35317-3_4 fatcat:gyyz3ehp2bfghfmlodgdf6eebq

The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints

Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis
2007 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007)  
In this paper we study the ramification problem in the setting of temporal databases.  ...  More specifically, we study the case where there are conflicting effects of actions which executed concurrently, and we distinguish between hard and soft integrity constraints.  ...  When an action take place a corresponding dynamic rules will be evaluated in order to ensure the direct effects of the action.  ... 
doi:10.1109/ictai.2007.77 dblp:conf/ictai/PapadakisAP07 fatcat:sf3q46rwefemdkryjihmnrxgyu

A Paradigm for Active Database Management Systems

Manvendra Yadav, Sonia Kumari
2016 International Journal Of Engineering And Computer Science  
This high level of activity has not yielded a single agreed-upon standard approach to the integration of active functionality with conventional database systems, but has led to improved understanding of  ...  Considerable effort has been directed towards improving understanding of such systems in recent years, and many different proposals have been made and applications suggested.  ...  Temporal Logic in Active Databases In ADBs, dynamic integrity constraints formulated in temporal logic are converted to ECA rules [4] .  ... 
doi:10.18535/ijecs/v5i1.20 fatcat:7nsxfflorfhillrml3dyk7yyfa

Actions with Duration and Constraints: The Ramification Problem in Temporal Databases

Nikos Papadakis, Dimitris Plexousakis
2003 International journal on artificial intelligence tools  
The area of temporal databases in particular is still lacking satisfactory solutions to the ramification problem.  ...  The ramification problem is a hard and ever present problem in systems exhibiting a dynamic behavior.  ...  Another direction is the study of the problem in the case of actions changing our beliefs about the past.  ... 
doi:10.1142/s0218213003001265 fatcat:cozmb35axreotnat34imz6f55u

A first step towards implementing dynamic algebraic dependences

N Bidoit, S De Amo
1998 Theoretical Computer Science  
We present a class of dynamic constraints (DADS) which are of practical interest and allows one to express restrictions such as if some property holds now, then in the past some other property should have  ...  The paper investigates in a constructive manner the definition of transaction-based specifications equivalent to DAD-constraint-based specifications.  ...  Note that static constraints are special cases of dynamic constraints, and temporal integrity constraints subsume dynamic constraints. Integrity constraints are declarative specifications.  ... 
doi:10.1016/s0304-3975(97)00088-1 fatcat:3nxn4cmpgvdrhg2gruxlay4niu

A Solution to the Ramification Problem Expressed in Temporal Description Logics

Nikos Papadakis, Polydoros Petrakis, Dimitris Plexousakis, Charalampos Manifavas
2014 International Journal of Semantic Computing (IJSC)  
In this paper we begin with a quick review of the existing Description Logics Languages, and then we describe a Temporal Extension of Description Logics, able to represent integrity constraints, temporalized  ...  It has been shown in previous work that the ramification problem can be solved with the use of integrity constraints and actions representation.  ...  If F' can change its truth value as a direct effect of an action then add (F',F) in I. All the integrity constraints (IC) have the form A ⊑ B.  ... 
doi:10.1142/s1793351x14500019 fatcat:e27izr4spngwpckg4zykvxxqlq

Deriving optimized integrity monitoring triggers from dynamic integrity constraints

M. Gertz, U.W. Lipeck
1996 Data & Knowledge Engineering  
In this paper, we show how to derive triggers from dynamic integrity constraints which describe properties of state sequences and which can be specified by formulas in temporal logic.  ...  In this paper we want to study dynamic integrity constraints, i.e. constraints on state sequences instead of single states as in the static case.  ...  In [26] a method is proposed considering dynamic integrity constraints specified in a past-temporal logic.  ... 
doi:10.1016/s0169-023x(96)00010-9 fatcat:26lx7usxcrfphehih4ofzv3eqq

The ramification problem in temporal databases: Changing beliefs about the past

Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis
2006 Data & Knowledge Engineering  
In this paper we study the ramification problem in the setting of temporal databases.  ...  More specifically, we study the case where the effects of an action refer to the past, a particularly complex problem.  ...  In this paper we consider the case of temporal databases. Let us illustrate the problems.  ... 
doi:10.1016/j.datak.2005.09.003 fatcat:2oih7bivnvhurhmau3oqzblxym

The Ramification and Qualification Problems in Temporal Databases [chapter]

Nick Papadakis, Dimitris Plexousakis
2002 Lecture Notes in Computer Science  
A solution to these problems in database systems permits reasoning about the dynamics of databases and allows proving consistency properties.  ...  In this paper, we describe these two problems in the context of temporal databases and we propose a solution of polynomial complexity based on the language of the Situation Calculus.  ...  The specification of these causal laws solve the ramification problem in temporal databases, since the dynamic laws capture the direct effects of each action whereas the static ones capture the indirect  ... 
doi:10.1007/3-540-46014-4_3 fatcat:4be5lczlzben5ixjbdtkjffquq

Raising Time Awareness in Model-Driven Engineering: Vision Paper

Amine Benelallam, Thomas Hartmann, Ludovic Mouline, Francois Fouquet, Johann Bourcier, Olivier Barais, Yves Le Traon
2017 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
In this paper, we investigate the state-of-the-art in MDE techniques and tools in order to identify the missing bricks for raising time-awareness in MDE and outline research directions in this emerging  ...  In this context, historical data, also called temporal data, is becoming increasingly available and delivers means to analyse the history of applications, discover temporal patterns, and predict future  ...  In the past, various extensions of OCL have been proposed, e.g. [28] and more recently [42] [3] , to add support for temporal constraints.  ... 
doi:10.1109/models.2017.11 dblp:conf/models/Benelallam0MFBB17 fatcat:23gqmdrcinfytpn2suiurezrzq

Temporal and real-time databases: a survey

G. Ozsoyoglu, R.T. Snodgrass
1995 IEEE Transactions on Knowledge and Data Engineering  
A temporal database contains time-varying data. In a real-time database transactions have deadlines or timing constraints.  ...  We evaluate temporal and real-time query languages along several dimensions. We examine temporal and real-time DBMS implementation.  ...  In real-time databases, we need more research on techniques that satisfy integrity constraints and temporal data and transaction constraints and that provide timely enforcement of database view consistency  ... 
doi:10.1109/69.404027 fatcat:5ao5knajt5g6pbwv7s3wvm65sm

Determining the Preferred Representation of Temporal Constraints in Conceptual Models [chapter]

C. Maria Keet, Sonia Berman
2017 Lecture Notes in Computer Science  
The same information was presented to 15 participants in an experimental evaluation.  ...  We assessed five different modes of representing temporal constraints, being the formal semantics, Description logics notation, a coding-style notation, temporal EER diagrams, and (pseudo-)natural language  ...  Acknowledgments We thank all those who participated in the experiment. References  ... 
doi:10.1007/978-3-319-69904-2_33 fatcat:mejldpvutrfbncabrz33inqdze

Mobility in Databases and Distributed Systems: Summing up Achievements of the Past Decade

Arkady Zaslavsky, Panos K. Chrysanthis, Vijay Kumar
2004 Journal on spesial topics in mobile networks and applications  
These selected papers reflect the state of the art in the issues of mobility in mobile data management and can serve as a summary of the achievements of the past decade; they also look ahead at forthcoming  ...  This special issue represents the best papers presented at the "Mobility in Databases and Distributed Systems" (MDDS'99) workshop held in September of 1999 in Florence, Italy.  ...  Enhancing mobile data management with localization of integrity constraints is demonstrated in the paper "Localization of Integrity Constraints in Mobile Databases and Specification in PRO-MOTION" by Subhasish  ... 
doi:10.1023/b:mone.0000034761.69017.08 fatcat:vrv4qeyykbcupclhszakhz55ki

MetateM: An introduction

H. Barringer, M. Fisher, D. Gabbay, G. Gough, R. Owens
1995 Formal Aspects of Computing  
In this paper a methodology for the use of temporal logic as an executable imperative language is introduced.  ...  Introduction The purpose of this paper is to introduce and motivate the methodology of temporal logic as an executable imperative language, originally presented by Moszkowski [Mos86] and Gabbay [Gab87a  ...  For example, in logic programming and deductive databases the handling of integrity constraints borders on the use of logic imperatively. Integrity constraints have to be maintained.  ... 
doi:10.1007/bf01211631 fatcat:xlchty7pn5gbzh6cbefuyrslxa

Foundations of data-aware process analysis

Diego Calvanese, Giuseppe De Giacomo, Marco Montali
2013 Proceedings of the 32nd symposium on Principles of database systems - PODS '13  
In this work we survey the research on foundations of data-aware (business) processes that has been carried out in the database theory community.  ...  We argue that it is this community that should lay the foundations to solve, at least from the point of view of formal analysis, the dichotomy between data and processes still persisting in business process  ...  Diego Calvanese acknowledges the kind support of the Wolfgang Pauli Institute Vienna and of the Technical University Vienna for his sabbatical stay.  ... 
doi:10.1145/2463664.2467796 dblp:conf/pods/CalvaneseGM13 fatcat:t7zhz35ca5c6nlcurzmm2wz3mu
« Previous Showing results 1 — 15 out of 45,567 results