Package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

Related Packages

Package	Description
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor

Classes

Class	Description
Dependency
DependencySchema	A dependency schema bounds several predicates and dependencies together guaranteeing their consistency.
EGD	Equality-Generating Dependency
TGD	Tuple-Generating Dependency