Dimitrios Plexousakis  Home/Search
Context Related
| usf.edu/~dimitris/thesis.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: usf.edu/~dimitris/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The maintenance of semantic integrity has been recognized as a cornerstone issue for the development of databases and knowledge bases alike. Despite the extensive research conducted during the last two decades, semantic integrity maintenance has yet to become a practical technology. Furthermore, the need for modeling evolving domains has given rise to challenging research issues relating to the incorporation of time in knowledge bases. In this thesis, we study the problem of maintaining the... (Update)
Context of citations to this paper: More
...al. 1997 ] for representing knowledge about organisations and their processes. In this respect we continue the work of one of us [ Plexousakis, 1995; 1996 ] but also [ Yu et al. 1996; Lesperance et al. 1999a; Fox and Gruninger, 1998 ] who suggested to use these formal...
...[DGLL97] for representing knowledge about organisations and their processes. In this respect we continue the work of one of us [Ple95, Ple96] but also [YML96, LKMY99, FG98] who suggested to use these formal tools to model organisations. This paper also presents a...
Cited by: More
Unknown - Information Systems Vol (Correct)
Business Process Modelling and Design: A Formal Model and .. - Koubarakis, Plexousakis (Correct)
A Formal Model for Business Process Modeling and Design - Koubarakis, Plexousakis (2000) (Correct)
Similar documents (at the sentence level):
9.1%: Simulation and Analysis of Business Processes Using GOLOG - Plexousakis (1995) (Correct)
8.6%: Accommodating Integrity Constraints During Database Design - Plexousakis, Mylopoulos (1995) (Correct)
5.0%: Compilation and Simplification of Temporal Integrity Constraints - Plexousakis (1995) (Correct)
Active bibliography (related documents): More All
2.3: Dynamic Integrity Constraints Definition and Enforcement in.. - Silva (1997) (Correct)
1.5: Integrity Constraint and Rule Maintenance in Temporal Deductive .. - Plexousakis (Correct)
1.1: Adapting Database Implementation Techniques To.. - Mylopoulos.. (1993) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Managing the Integrity of Design Data Generated by.. - Eastman, Parker, Jeng (1997) (Correct)
0.1: Building Knowledge Base Management Systems: A Progress .. - Mylopoulos, Chaudhri, .. (1994) (Correct)
0.1: ELG 4181 Computer Communications - Instructor Dimitrios Makrakis (Correct)
Related documents from co-citation: More All
5: Modelling Business Processes for Understanding (context) - Ould - 1994
5: in software process modelling (context) - Yu, Mylopoulos et al. - 1994
5: System Requirements Engineering (context) - Loucopoulos, Karakostas - 1995
BibTeX entry: (Update)
D. Plexousakis. On the efficient maintenance of temporal integrity in knowledge bases. PhD thesis, Dept. of Computer Science, University of Toronto, 1996. http://citeseer.ist.psu.edu/plexousakis96efficient.html More
@phdthesis{ plexousakis96efficient,
author = "Dimitrios Plexousakis",
title = "On the Efficient Maintenance of Temporal Integrity in Knowledge Bases",
number = "DKBS-TR-96-1",
year = "1996",
url = "citeseer.ist.psu.edu/plexousakis96efficient.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1991
1044 Maintaining Knowledge about Temporal Intervals (context) - Allen - 1983
759 Negation as Failure (context) - Clark - 1978
725 Temporal and Modal Logic (context) - Emerson - 1990
663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy - 1969
410 Principles of Artificial Intelligence (context) - Nilsson - 1980
388 The Frame Problem in the Situation Calculus: A Simple Soluti.. (context) - Reiter - 1991
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
324 A Logic Based Calculus of Events (context) - Kowalski, Sergot - 1986
300 SOAR: An Architecture for General Intelligence (context) - Laird, Newell et al. - 1987
295 On Closed-World Databases (context) - Reiter - 1978
235 First-Order Logic (context) - Smullyan - 1968
229 Goal-Directed Requirements Acquisition - Dardenne, van Lamsweerde et al. - 1993
204 Magic Sets and Other Strange Ways to Implement Logic Program.. (context) - Bancilhon, Maier et al. - 1986
200 the Difference Between Updating a Knowledge Base and Revisin.. - Katsuno, Mendelzon - 1990
194 Telos: Representing Knowledge about Information Systems - Mylopoulos, Borgida et al. - 1990
170 The Architecture of an Active Database Management System (context) - McCarthy, Dayal - 1989
170 Deriving Production Rules for Incremental View Maintenance - Ceri, Widom - 1991
148 Rete: A Fast Algorithm for the Many Pattern/Many Object Patt.. (context) - Forgy - 1982
147 Real-time Logics: Complexity and Expressiveness - Alur, Henzinger - 1990
147 An Amateur's Introduction to Recursive Query Processing (context) - Bancilhon, Ramakrishnan - 1986
146 Deriving Production Rules for Constraint Maintenance - Ceri, Widom - 1990
140 Tense Logic and the Theory of Linear Order (context) - Kamp - 1968
136 Ode as an Active Database: Constraints and Triggers - Gehani, Jagadish - 1991
132 Towards a Logical Reconstruction of Relational Database Theo.. (context) - Reiter - 1984
127 State Constraints Revisited - Lin, Reiter - 1992
127 State Constraints Revisited - Lin, Reiter - 1994
120 Investigations into a Theory of Knowledge Base Revision: Pre.. - Dalal - 1988
112 Reasoning about Action I: A Possible Worlds Approach - Ginsberg, Smith - 1987
95 Event Specification in an Active Object-Oriented Database - Gehani, Jagadish et al. - 1992
95 Logic for Improving Integrity Checking in Relational Databas.. (context) - Nicolas - 1982
86 Foundations of a Functional Approach to Knowledge Representa.. (context) - Levesque - 1984
86 A Theorem on Boolean Matrices (context) - Warshall - 1962
77 Temporal Logic Programming (context) - Abadi, Manna - 1987
75 A Glossary of Temporal Database Concepts - Jensen, Clifford et al. - 1992
69 Temporal Reasoning in Logic Programming: a Case for the Situ.. - Pinto, Reiter - 1993
65 Implementation of Integrity Constraints and Views by Query M.. (context) - Stonebraker - 1975
65 Temporal Reasoning in the Situation Calculus - Pinto - 1994
65 TREAT: A Better Match Algorithm for AI Production Systems (context) - Miranker - 1987
63 A Uniform Approach to Constraint Satisfaction and Constraint.. (context) - Bry, Decker et al. - 1988
62 Active Database Management Systems (context) - Dayal - 1988
61 Transaction Logic Programming - Bonner, Kifer - 1995
60 On Specifying Database Updates - Reiter - 1995
60 Handling Infinite Temporal Data - Kabanza, Stevenne et al. - 1990
60 Communications of the ACM (context) - Curtis, Kellner et al. - 1992
60 Temporal Deductive Databases - Baudinet, Chomicki et al. - 1993
55 IEEE Transactions on Software Engineering (context) - Stonebraker, Hanson et al. - 1988
53 Automatic Verification of Database Transaction Safety (context) - Sheard, Stemple - 1989
50 Exploiting Constraints in Design Synthesis (context) - Finger - 1988
48 A Theorem-Proving Approach to Database Integrity (context) - Sadri, Kowalski - 1987
48 A Basis for Deductive Database Systems (context) - Lloyd, Topor - 1985
46 A Logical Approach to High-Level Robot Programming - A Progr.. - Lesperance, Levesque et al. - 1994
46 Springer-Verlag (context) - Rescher, Urquhart - 1971
46 Monitoring Dynamic Integrity Constraints Based on Temporal L.. (context) - Lipeck, Saake - 1987
45 the Efficient Computation of the Difference Between Consecut.. (context) - Kuchenhoff - 1991
44 Reactive Consistency Control in Deductive Databases - Moerkotte, Lockemann - 1991
42 Specifying Dynamic and Deontic Integrity Constraints (context) - Wieringa, Meyer et al. - 1989
41 Goal-Directed Elaboration of Requirements for a Meeting Sche.. - van Lamsweerde, Darimont et al. - 1994
40 A Plan-based Intelligent Assistant that Supports the Softwar.. (context) - Huff, Lesser - 1988
39 Efficient Checking of Temporal Integrity Constraints Using B.. - Chomicki - 1995
38 Implementing High Level Active Rules on Top of a Relational .. (context) - Simon, Kierman et al. - 1992
38 History-less Checking of Dynamic Integrity Constraints (context) - Chomicki - 1992
37 Implementing Temporal Integrity Constraints Using an Active .. - Chomicki, Toman - 1995
37 Integrity Checking in Deductive Databases (context) - Kowalski, Sadri et al. - 1987
36 Temporal Deductive Databases and Infinite Objects (context) - Chomicki, Imielinski - 1988
35 Safety and Translation of Relational Calculus Queries (context) - Van Gelder, Topor - 1991
34 Active Databases as a Paradigm for Enhanced Computing Enviro.. (context) - Morgenstern - 1983
34 Situation Monitoring for Active Databases (context) - Rosenthal, Chakravarthy et al. - 1989
34 Supporting Semantic Rules by a Generalized Event/Trigger Mec.. (context) - Angelika, Klaus et al. - 1988
34 Automatic Generation of Production Rules for Integrity Maint.. (context) - Ceri, Fraternali et al. - 1994
33 Integrity Enforcement in Deductive Databases (context) - Decker - 1986
33 From Relational to Object-Oriented Integrity Simplification - Jeusfeld, Jarke - 1991
32 Integrity Verification in Knowledge Bases (context) - Bry, Manthey et al. - 1990
32 Integrity Constraint Checking in Stratified Databases (context) - Lloyd, Sonenberg et al. - 1986
32 The Situation Calculus and Event Calculus Compared (context) - Kowalski, Sadri - 1994
31 Extensions to Starburst: Objects (context) - Lohman, Lindsay et al. - 1991
31 Graph Theoretic Methods in Database Theory (context) - Yannakakis - 1990
30 the Feasibility of Checking Temporal Integrity Constraints - Chomicki, Niwinski - 1993
30 A Non-Reified Temporal Logic - Bacchus, Tenenberg et al. - 1989
30 Finding Paths and Deleting Edges in Directed Acyclic Graphs (context) - Italiano - 1988
27 Efficient Transitive Closure Algorithms (context) - Ioannidis, Ramakrishnan - 1988
27 Line Computation of Transitive Closures of Graphs (context) - Ibaraki, Katoh - 1983
26 Fast Maintenance of Semantic Integrity Assertions Using Redu.. (context) - Bernstein, Blaustein et al. - 1980
26 The Frame Problem (context) - Borgida, Mylopoulos et al. - 1995
26 Integrity Checking for Multiple Updates (context) - Hsu, Imielinski - 1985
26 Department of Computer Science (context) - LLoyd, Bases et al. - 1989
26 Direct Transitive Closure Algorithms: Design and Performance.. (context) - Agrawal - 1990
25 On Integrity Constraints (context) - Reiter - 1988
25 Temporal Conditions and Integrity Constraints in Active Data.. - Sistla, Wolfson - 1995
24 And nothing else changes: The Frame Problem (context) - Borgida, Mylopoulos et al. - 1993
24 The Theory of Relational Databases (context) - Maier - 1983
23 IEEE Transactions on Knowledge and Data Engineering (context) - Sistla, Wolfson et al. - 1995
22 Transformation of Dynamic Integrity Constraints into Transac.. (context) - Lipeck - 1990
22 Deriving Integrity Maintaining Triggers from Transition Grap.. - Gertz, Lipeck - 1993
20 Managing Temporal Financial Data in an Extensible Database (context) - Chandra, Segev - 1993
20 A Basis for Deductive Database Systems II (context) - Lloyd, Topor - 1985
19 Integrity Constraint and Rule Maintenance in Temporal Deduct.. - Plexousakis - 1993
19 Compiling Integrity Checking into Update Procedures (context) - Wallace - 1991
19 Object-Oriented Subsystem Specification (context) - Schuman, Pitt - 1987
19 Compiling Constraint Checking Programs from Fisrt Order Form.. (context) - Henschen, McCune et al. - 1984
19 The Implementation and Evaluation of Integrity Maintenance R.. (context) - Urban, Karadimce et al. - 1992
19 Advances in Computing Research (context) - Fagin, Kuper et al. - 1986
17 Semantical and Ontological Considerations in Telos: a Lanuga.. (context) - Plexousakis - 1993
17 Functional Specifications of a Subsystem for Database Integr.. (context) - Eswaran, Chamberlin - 1975
17 Real-Time Integrity Constraints (context) - Chomicki - 1992
16 The Inheritance of Dynamic and Deontic Integrity Constraints - Wieringa, Weigand et al. - 1991
16 A Transformational Framework for the Automatic Control of De.. (context) - Koenig, Paige - 1981
15 the Modes and Meaning of Feedback to Transaction Designers (context) - Stemple, Mazumdar et al. - 1987
15 Dynamic Database Logic: the FirstOrder Case (context) - Spruit, Wieringa et al. - 1993
14 On Domain Independent Databases (context) - Topor, Sonenberg - 1987
14 Rule Management and Evaluation: An Active DBMS Perspective (context) - Chakravarthy - 1989
14 Hybrid Transitive Closure Algorithms - Agrawal, Jagadish - 1990
13 On Verification of Database Temporal Constraints (context) - Kung - 1985
13 Constraint Analysis: A Design Process for Specifying Operati.. (context) - Urban, Delcambre - 1990
13 Requirements Modeling: A Knowledge Representation Approach t.. (context) - Greenspan - 1984
13 A Logical Framework for Temporal Deductive Databases (context) - Sripada - 1988
12 Specialization as a Basis for Software Specification (context) - Borgida, Mylopoulos et al. - 1984
12 Integrity Checking in Deductive Databases (context) - Nicolas, Yazdanian - 1978
11 Computational Intelligence (context) - Miller, Schubert - 1990
11 A Modification of Warshall's Algorithm for the Transitive Cl.. (context) - Warren - 1975
11 Specifying Reactive Integrity Control for Active Databases - Gertz - 1994
10 Theoretical Foundations of Handling Large Substitution Sets .. (context) - Hulsmann, Saake - 1991
10 Temporal Reasoning in Deductive Databases (context) - Sripada - 1991
9 Fast Methods for Testing Quantified Relational Calculus Asse.. (context) - Bernstein, Blaustein - 1982
9 Towards a General Model of Action and Time (context) - Allen - 1984
9 Specification and Verification of Database Dynamics (context) - Fiadeiro, Sernadas - 1988
9 Integrity Enforcement in Object-Oriented Databases - Schewe, Thalheim et al. - 1992
9 Characterization of Safety and Liveness Properties in Tempor.. (context) - Sistla - 1985
9 Data Base: Theory vs (context) - Nicolas, Gallaire - 1978
8 Proving Finite Satisfiability of Deductive Databases (context) - Bry, Manthey - 1987
8 On Temporal Deductive Databases - Orgun - 1993
8 Animating Formal Requirements Specifications of Cooperative .. (context) - Dubois, Bois et al. - 1994
8 A DOOD RANCH at ASU: Integrating Active (context) - Dietrich, Urban et al. - 1992
8 Satisfiability of Integrity Constraints: Reflections on a Ne.. (context) - Manthey - 1990
8 Building Knowledge Base Management Systems - Mylopoulos, Chaudhri et al. - 1996
8 A Tableaux Approach for Consistency Checking (context) - Kung - 1985
8 A Temporal Framework for Database Specification and Verifica.. (context) - Kung - 1984
8 A Declarative Approach to Active Databases (context) - Ceri - 1992
7 Constraint Enforcement through Production Rules: Putting Act.. (context) - Ceri, Fraternali et al. - 1992
7 the Description of Database Transition Constraints Using Tem.. (context) - Casanova, Furtado - 1984
7 Dynamic and Deontic Integrity Constraints (context) - Meyer, Weigand et al. - 1989
7 A Framework for Declarative Updates and Constraint Maintenan.. (context) - Karadimce, Urban - 1993
7 Simulation and Analysis of Business Processes Using GOLOG - Plexousakis - 1995
6 Compilation and Simplification of Temporal Integrity Constra.. - Plexousakis - 1995
6 Monitoring Dynamic Integrity Constraints on Finite State Seq.. - Lipeck, Zhou - 1991
6 A Temporal Approach to Belief Revision in Knowledge Bases (context) - Sripada - 1993
6 Rule and Knowledge Management in an Active Database System (context) - Naqvi, Ibrahim - 1993
5 Integrity Maintenance in a Telos based KBMS (context) - Plexousakis - 1994
5 Databases for Knowledge Bases: Empirical Study of a Knowledg.. (context) - Lockemann, Nagel et al. - 1991
5 Knowledge-based Integrity Constraint Validation (context) - Qian, Wiederhold - 1986
5 Representation of the Historical Information Necessary for T.. (context) - Hulsmann, Saake - 1990
5 Output Complexity of Transitive Closure (context) - Ullman, Yannakakis - 1990
5 Foundations of Temporal Integrity Monitoring (context) - Saake, Lipeck - 1988
5 Models for Supporting the Redesign of Organizational Work - Yu - 1995
5 Consistency Auditing of Databases (context) - Florentin - 1974
5 On Updates and Inconsistency Repairing in Knowledge Bases - Wuthrich - 1993
5 A Framework for Supporting Triggers in Deductive Databases (context) - Bayer - 1993
5 Materialized View Maintenance and Production Rule Triggering (context) - Bayer, for - 1992
4 Accommodating Integrity Constraints During Database Design - Plexousakis, Mylopoulos - 1996
4 Integrity Maintenance in a Telecommunications Switch (context) - Griffin, Trickey - 1994
4 An Approach To Knowledge Base Management (context) - Mattos - 1991
4 Constraints in an Object-Oriented Deductive Database - Caseau - 1991
4 AI in Business Process Reengineering (context) - Hamscher - 1994
4 Office Streamlining (context) - Ellis - 1980
4 Construction of Deterministic Transition Graphs form Dynamic.. (context) - Lipeck, Feng - 1988
4 A Performance Oriented Approach to Knowledge Base Management (context) - Mylopoulos, Chaudhri et al. - 1992
4 Implementing Integrity Constraints Using an Active DBMS (context) - Chomicki, Toman - 1994
4 Integrity Constraint Reformulation for Efficient Validation (context) - Qian, Smith - 1987
4 Technical Report MIP (context) - Eherer, Jarke et al. - 1989
4 Temporal Databases (context) - Chomicki - 1993
4 Agent-Oriented Requirements Engineering - a Case Study Using.. - Dubois, Bois et al. - 1994
4 Deductive Integrity Maintenance in an ObjectOriented Setting - Jeusfeld, Kruger - 1990
4 Using Weakest Preconditions to Simplify Integrity Constraint.. (context) - Lawley, Topor et al. - 1993
3 Universal Attachment: An Integration Method for Logic Hynrid.. (context) - Myers - 1991
3 Four Obvious Steps Towards Knowledge Base Management (context) - Mylopoulos, Chaudhri et al. - 1991
3 Efficient Algorithms for the Instantiated Transitive Closure.. (context) - Qaddah, Henschen et al. - 1991
3 Temporal Integrity Constraints in Temporal Databases - Gertz, Lipeck - 1995
3 Semantic Integrity Enforcement in Knowledge Bases (context) - Plexousakis - 1991
3 The Active Database Management Systems Manifesto (context) - Dittrich, Gatziu et al. - 1995
3 Monitoring Temporal Permissions using Partially Evaluated Tr.. (context) - Schwiderski, Saake - 1992
3 Theory Design and Implementation (context) - Tansel - 1993
3 Process Management and Assertion Enforcement for a Semantic .. (context) - Chung, Rios-Zertuche et al. - 1988
3 Fundamentals of Database and Knowledge-base Systems (context) - Ullman - 1988
3 Semantics and Enforcement of Dynamic Database Constraints (context) - Ehrich, Lipeck et al. - 1984
2 Events and Event Rules in Active Databases - 'i, Oliv'e - 1992
2 Integrity Preserving Updates in Object-Oriented Databases - Schewe, Thalheim et al. - 1993
2 Advances in spatial databases : Third international Symposiu.. (context) - Abel, Ooi - 1993
2 An Ontology and a Possible-Worlds Semantics for Telos (context) - Plexousakis - 1990
2 Technical Report UCB/ERL M (context) - Stonebraker, Jhingran et al. - 1990
2 Rule-Aided Constraint Resolution in LAURE (context) - Caseau - 1991
2 Monitoring Temporal Preconditions in a Behavior Oriented Obj.. (context) - Schwiderski, Hartmann et al. - 1994
2 Tutorial at the 2nd Int (context) - Karagiannis, Process - 1994
1 Role Interaction Nets: A Process Description Formalism (context) - Singh, Rein - 1992
1 A Formal System for Producing Demons from Rules in an Object.. (context) - Caseau - 1989
1 Journal of Automated Reasoning (context) - Stickel - 1985
1 Using Finite Temporal Logic for Specifying Database Dynamics (context) - Saake, Lipeck - 1988
1 Technical Report KRR-TR90 -5 on Knowledge Representation and.. (context) - Reiter, Know - 1990
1 Combining Active Databases and Timing Constraints (context) - Dayal, Blaustein et al. - 1988
[Article contains additional citations not shown here]
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC