-
Notifications
You must be signed in to change notification settings - Fork 4
Achievements and Problems
elroyhaw edited this page Apr 14, 2019
·
9 revisions
Full SPA requirements as described in the Handout have been fulfilled in iteration 3.
| No. | Scope | Done |
|---|---|---|
| 1 | Parsing source language SIMPLE - According to SIMPLE grammar rules |
☑ |
| 2 | PKB contents - Follows, Parent, Modifies, Uses (including procedure calls and procedures), Calls, Next, CFG |
☑ |
| 3 | Query processor - According to PQL grammar rules - Validate queries and build query object - Table-driven validation - Allow tuple or BOOLEAN in select clause - Allow multiple such-that, with, and pattern clauses, with any number of and operators- Allow Follows, Follows*, Parent, Parent*, Modifies, Uses (for all statements including procedure calls and procedures), Calls, Calls*, Next, Next* |
☑ |
| 4 | Query evaluator - Full Query Evaluator - Optimization strategies for evaluation |
☑ |
| 5 | Efficient algorithms to compute Next*, Affects and Affects* on demand, during query evaluation | ☑ |
| 6 | Optimization via using more efficient algorithms and micro-optimization | ☑ |
| 7 | System testing | ☑ |
| No. | Problems | Resolved |
|---|---|---|
| 1 | Semantic errors in query (returning empty result for boolean queries instead of false) | ☑ |
| 2 | Generalized AffectsBip* incomplete |