After all, the automated database is only as good as the information the judges feed into it.
Analytic tableaux (also, semantic tableau, or truth tree), a technique of automated theorem proving in logic. Tableau, another term for a table of data, particularly: Cryptographic tableau, or tabula recta, used in manual cipher systems. Division tableau, a table used to do long division.
A clustered table is a table that is part of a cluster. A cluster is a group of tables that share the same data blocks because they share common columns and are often used together. Clusters and clustered tables are discussed in Chapter 18, Managing Clusters.