Design tasks are difficult to teach, due to large, unstructured solution spaces, underspecified problems, non-existent problem solving algorithms and stopping criteria. In this paper, we comment on our approach to develop KERMIT, a constraint-based tutor that taught database design. In later work, we re-implemented KERMIT as EER-Tutor, and…

Semantic integrity constraints are business-specific rules that limit the permissible values in a database. For example, a university rule dictating that an "incomplete" grade cannot be changed to an A constrains the possible states of the database. To maintain database integrity, business rules should be identified in the course of database…

Presents the design and implementation of a deductive object-oriented database which is built upon a formally defined data model that uses two languages: an imperative programming language called ROCK (Rule Object Computation Kernel), and a logic language called ROLL (Rule Object Logic Language). (LRW)

Presents an approach for dynamic database integration and query processing in the absence of information about attribute correspondences and global IDs. Defines different types of equivalence conditions for the construction of global IDs. Proposes a strategy based on ranked role-sets that makes use of an automated semantic integration procedure…

This paper provides a comprehensive set of guidelines for building an online course based on the e-learning standards. It discusses the steps that should be followed to build a digital repository that facilitates the storage, retrieval, and reuse of the learning resources that comprise an online course in a standard way. The paper also examines…

Important characteristics of lexical databases and their applications in information retrieval and natural language processing are explained. An ongoing project using various machine-readable sources to build a lexical database is described, and detailed designs of individual entries with examples are included. (Contains 66 references.) (EAM)