Hets - the Heterogeneous Tool Set
Copyright(c) Till Mossakowski Uni Bremen 2002-2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CASL.CompositionTable.ComputeTable

Description

Compute the composition table of a relational algebra that isspecified in a particular way in a CASL theory.

Synopsis

Documentation

computeCompTable :: IRI -> (Sign f e, [Named (FORMULA f)]) -> Result Table Source #

given a specfication (name and theory), compute the composition table

stripQuant :: FORMULA f -> FORMULA f Source #

extractRel :: Id -> TERM f -> [Baserel] Source #