Tree Automata to Verify XML Key Constraints

Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante. Tree Automata to Verify XML Key Constraints. In Vassilis Christophides, Juliana Freire, editors, International Workshop on Web and Databases, San Diego, California, June 12-13, 2003. pages 37-42, 2003. [doi]

@inproceedings{BouchouHM03,
  title = {Tree Automata to Verify XML Key Constraints},
  author = {Béatrice Bouchou and Mirian Halfeld Ferrari Alves and Martin A. Musicante},
  year = {2003},
  url = {http://www.cse.ogi.edu/webdb03/papers/07.pdf},
  tags = {XML, XML Schema, constraints},
  researchr = {https://researchr.org/publication/BouchouHM03},
  cites = {0},
  citedby = {0},
  pages = {37-42},
  booktitle = {International Workshop on Web and Databases, San Diego, California, June 12-13, 2003},
  editor = {Vassilis Christophides and Juliana Freire},
}