16
The Paper
•
The main result is that the following have the
same complexities:
•
•
Inclusion for a class R of RE’s
•
Inclusion for a class of DTD’s restricted to R
•
Inclusion for a class of single-type SDTDs
restricted to R
•
BUT not for SDTD’s over R