More Anti-chain Based Refinement Checking.

Ting Wang Songzheng Song Jun Sun Yang Liu Jin Song Dong Xinyu Wang Shanping Li

Published in: ICFEM (2012)

Keyphrases

consistency checking
database
multimedia
refinement process
information retrieval
database systems
step wise