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

doi 10.5220/0002673300840086
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

SciTePress - Science and and Technology Publications

Related search

Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

On the Feasibility of Checking Temporal Integrity Constraints

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
1995English

Deductive Rules in Holographic Reduced Representation

Neurocomputing
Computer Science ApplicationsArtificial IntelligenceCognitive Neuroscience
2006English

Provenance Based Data Integrity Checking and Verification in Cloud Environments

PLoS ONE
Multidisciplinary
2017English

Adding Deductive Logic to a COTS Spreadsheet

Knowledge Engineering Review
Artificial IntelligenceSoftware
2007English

Users Integrity Constraints in SOLAP Systems. Application in Agroforestry

International Journal of Interactive Multimedia and Artificial Intelligence
2018English

Maintaining Integrity Constraints and Security in Real-Time Database Systems

1998English

Verifying Service Choreography Model Based on Description Logic

Mathematical Problems in Engineering
MathematicsEngineering
2016English

Inconsistency-Tolerant Integrity Checking

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy