×

zbMATH — the first resource for mathematics

The DISCO system. (English) Zbl 0969.68693
Kuper, Gabriel (ed.) et al., Constraint databases. Berlin: Springer. 383-389 (2000).
Summary: DISCO, short for DATALOG with Integer Set COnstraints, is a constraint database system that implements DATALOG with Boolean constraints (see Chapter 7) on set variables that range over finite and infinite sets of integers. In this chapter we provide a short introduction to the DISCO system.
For the entire collection see [Zbl 0935.00022].
MSC:
68U99 Computing methodologies and applications
68P15 Database theory
PDF BibTeX XML Cite