This paper describes an algorithm, referred to as The Chase that nondeterministically generates models for a geometric theory. A set of jointly universal models is a set of models for which there exists a homomorphism from one or more models in the set to any other model that can satisfy the theory. Such sets are useful in solutions to problems in many practical applications, including but not limited to firewall configuration examination, protocol analysis, and access control evaluation. The set of all models The Chase can generate is jointly universal. A Haskell implementation of The Chase and its development process and design decisions are documented. The implementation can determine all possible outputs of The Chase given any input theory.

• This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.

Creator

• Ficarra, Michael John

Publisher

• Worcester Polytechnic Institute

Identifier

• E-project-102610-155134

Advisor

• Dougherty, Daniel J.

Year

• 2010

Date created

• 2010-10-26

Resource type

• Major Qualifying Project

Major

• Computer Science

Rights statement

• In Copyright