Publication | Closed Access

Implication problems for functional constraints on databases supporting complex objects

Mathematical ProgrammingImplication ProblemsConstraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningFormal MethodsComputer ScienceDatabase ModelDatabase TheoryConstraint Programming