Physical Sciences and Mathematics Commons^™

Constraint Objects, Divesh Srivastava, Raghu Ramakrishnan, Peter Revesz

CSE Conference and Workshop Papers

We describe the Constraint Object Data Model (CODM), which enhances an object-based data model with existential constraints to naturally represent partially specified information. We present the Constraint Object Query Language (COQL), a declarative, rule-based query language that can be used to infer relationships about and monotonically refine information represented in the CODM. COQL has a model-theoretic and an equivalent fixed-point semantics, based on the notions of constraint entailment and "proofs in all possible worlds." We also provide a novel polynomial-time algorithm for quantifier elimination for set-order constraints, a restricted class of set constraints that uses membership of subset-equal.

Benefits Of Using Team Choice For Windows As A Multi-Criteria Decision Making Group Decision Support System, Eddie Goggans

Mahurin Honors College Capstone Experience/Thesis Projects

Various experiments have been conducted over the past ten years using several different types of group decision support systems (GDSSs). Many previous GDSS designs have had success in these experiments with brainstorming but have been limited in providing judgment and choice support. TeamChoice for Windows is a multi-criteria decision making GDSS that is currently under development in an effort to overcome the limitations of previous systems and to significantly advance the capabilities of GDSSs. This paper discusses some of the general aspects of GDSSs, existing limitations, and explains the developments and use of TeamChoice for Windows as a multi-criteria decision …

Rule-Based Run Control And Evaluation For Simulation, Robert F. Gordon Ph.D., Kow C. Chang, Edward A. Macnair

Faculty Works: MCS (1984-2023)

RC 19494 (84719)

Modeling projects are often faced with a large parameter space that has to be explored in order to produce a set of performance measures representing the behavior of the systems under study. In this paper, we describe a software component that provides the analyst with the functionality to specify a design of experiments and execute a search algorithm over the resulting parameter space. The component invokes the associated simulation runs and compares the results to a goal to determine the solution. This component has been implemented as the run control mechanism in the RESearch Queueing Modeling Environment …