Counter machines and the safety and disjointness problems for database queries with linear constraints

Oscar H. Ibarra, Jianwen Su, Constantinos Bartzis. Counter machines and the safety and disjointness problems for database queries with linear constraints. In Carlos Martín-Vide, Victor Mitrana, editors, Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in Honour of Gheorghe Paun. pages 127-137, Kluwer Academic Publishers, 2001.

Abstract

Abstract is missing.