| 1-Indexes |
|
|
| Nodes(I) = {
[u] | u in nodes(DB) } |
|
| Edges(I)
= { s ® s’ | $u Î s, $u’ Î s’, (u ®au’) Î Edges(DB)} |
|
| I = |
| q(DB) = {
u | $ s Î q(I), u Î s } |
| Example: |
| Inefficient:
construction cost (PSPACE) |