Constraint acquisition for Entity-Relationship models

Conceptual model visual simulation and the inductive learning of missing domain constraints

“…Moreover, the work in [64] proposes an approach to infer OCL invariants from valid/invalid snapshots by checking the relevance of the generated outputs. Another work that is close in spirit to ours is discussed in [65], where a technique for supporting engineers in the definition of constraints for Entity-Relationship (ER) models is provided. From a broader perspective, we consider of direct relevance also the research in [66] by Alrajeh and colleagues, who proposed an approach to automatically diagnose and repair temporal logic software specifications based on the integration of model checking and machine learning.…”

Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies

“…In [80] the authors discuss the usefulness of illustrative examples for understanding and developing algorithms in general. An alternative approach towards constraint acquisition in semantic data models is proposed in [81]. That approach focuses on the repeated inspection of certain two-element sample relations rather than Armstrong relations.…”

Guidelines for representing complex cardinality constraints in binary and ternary relationships

“…From a logical perspective, cardinality constraints have been dealt with. In one recent work [34], a logic-based propositional tool was presented for the acquisition of integrity constraints that are strongly linked with functional dependencies.…”