On the Specification of Partitionable Group Membership.

Stefan Pleisch Olivier Rütti André Schiper

Published in: EDCC (2008)

Keyphrases

group membership
record linkage
decision trees
formal specification
database
databases
formal verification
machine learning
website
high level
relational databases
user defined
ims qti