Verification, validation, and integrity issues in expert and database systems: Two perspectives

Coenen, Frans; Eaglestone, Barry; Ridley, Mick

doi:10.1002/1098-111x(200103)16:3<425::aid-int1016>3.0.co;2-c

Cited by 4 publications

(6 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The logical formula F of the selection operator σ comprises the conjunction of all constraints c i ∈ C. This connection of constraint problems and relational algebra has been pointed out in form of discussing the analogies between solving CSPs and relational databases throughout the literature [8,34,28].…”

Section: Constraintmentioning

confidence: 99%

CSP — There is more than one way to model it

Renker

Ahriz

Arana

2003

Research and Development in Intelligent Systems XIX

View full text Add to dashboard Cite

This is an author produced version of a paper published in CopyrightItems in 'OpenAIR@RGU', The Robert Gordon University Open Access Institutional Repository, are protected by copyright and intellectual property law. If you believe that any material held in 'OpenAIR@RGU' infringes copyright, please contact openair-help@rgu.ac.uk with details. The item will be removed from the repository while the claim is investigated. CSP -There is more than one way to model itGerrit Renker, Hatem Ahriz and Ines AranaSchool of Computing, The Robert Gordon University Aberdeen, Scotland, UK. AbstractIn this paper, we present an approach for conceptual modelling of constraint satisfaction problems (CSP). The main objective is to achieve a similarly high degree of modelling support for constraint problems as it is already available in other disciplines. The approach uses diagrams as operational basis for the development of CSP models. To facilitate a broader scope, the use of available mainstream modelling languages is adapted. In particular, the structural aspects of the problem are visually expressed in UML, complemented by a textual representation of relations and constraints in OCL. A case study illustrates the expositions and deployment of the approach.

show abstract

Section: Constraintmentioning

confidence: 99%

CSP — There is more than one way to model it

Renker

Ahriz

Arana

2003

Research and Development in Intelligent Systems XIX

View full text Add to dashboard Cite

show abstract

“…There are already several verification methods and algorithms for rule-based policies, in expert systems and databases [2], for Web policies and contracts [3], and in the security domain [4,5,6]. In this paper we will focus on formal methods and assume a formal policy written in a decidable logic.…”

Section: Introductionmentioning

confidence: 99%

Efficiently Characterizing the Undefined Requests of a Rule-Based System

Cheng

Royer

Tisi

2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Rule-based systems are used to define complex policies in several contexts, because of the flexibility and modularity they provide. This is especially critical for security systems, which may require to compose evolving policies for privacy, accountability, access control, etc. The inclusion of conflicting rules in complex policies, results in the inability of the system to unambiguously answer to certain requests, with possibly unpredictable effects. The static identification of these undefined requests is particularly challenging for unconstrained rule-based systems, including quantifiers, computations and chaining of rules. In this paper we introduce a static method to precisely characterize the set of all undefined requests for a given unconstrained rule-based system, providing the user with a global view of the rule conflicts. We propose an enumerative approach, made usable in practice by two key performance optimizations: a finer classification of the rules and the resort of the topological sorting. We demonstrate its application on a well-known policy with more than fifty rules.

show abstract

“…Fuzzy estimation works well based on the degree of certainty [2], [20]. In such an estimation model, the certainty of a rule represents a change in the possibility of the fact post estimation [7]. The possibility of a fact is recalculated based on its original possibility and the degree of certainty in a rule.…”

Section: Introductionmentioning

confidence: 99%

“…The current research report shows that half of the top ten causes of death in Taiwan are related to hypertension, making it a serious health risk [7], [13]. On this basis, the main purposes of this paper include the following:…”

Section: Introductionmentioning

confidence: 99%