An Algebra of Combined Constraint Solving

Eugenia Ternovska
The paper describes a project aiming at developing formal foundationsof combined multi-language constraint solving in the form of an algebra of modular systems.The basis for integration of different formalisms is the classic model theory.Each atomic module is a class of structures.It can be given, e.g., by a set of constraints in a constraint formalismthat has an associated solver.Atomic modules are combined using a small number of algebraic operations.The algebra simultaneously resembles
more » ... relational algebra, (but is definedon classes of structures instead of relational tables), and processalgebras originated in the work of Milner and Hoare.The goal of this paper is to establish and justifythe main notions and research directions,make definitions precise.We explain several results, but do not give proofs.The proofs will appear in several forthcoming papers.We keep this paper as a project description paper to discuss the overall project,to establish and bridge individual directions.
doi:10.29007/976n fatcat:vgbxrb3u7rhhfdzc3fkmadejzi