On the Feasibility of Checking Temporal Integrity Constraints

Journal of Computer and System Sciences - United States
doi 10.1006/jcss.1995.1088
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Checking Integrity Constraints in Deductive Systems Based on Production Rules and a Description Logic Terminology

2004English

Inconsistency-Tolerant Integrity Checking

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
2011English

Integrity Constraints in Trust Management

2005English

A Dynamic View of Active Integrity Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Checking Linear Temporal Formulas on Sequential Recursive Petri Nets

English

Symmetry in Temporal Logic Model Checking

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2006English

Fixpoint Semantics for Active Integrity Constraints

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2018English

Simplification of Integrity Constraints for Data Integration

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

On-Line Model-Checking for Finite Linear Temporal Logic Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy