Bases: congress.datalog.topdown.TopDownTheory
Bases: object
Bases: object
THING1 is always a ground DBTuple and THING2 is always an ATOM.
Return a sequence of Literals representing all the table data.
Deletes ATOM from the DB. Returns changes.
Workhorse for deleting ATOM from the DB.
Along with the proofs that are no longer true.
Inserts ATOM into the DB. Returns changes.
Workhorse for inserting ATOM into the DB.
Along with proofs explaining how ATOM was computed from other tables.
Returns T if EVENT is a noop on the database.
Insert/Delete atom.
Inserts/deletes ATOM and returns a list of changes that were caused. That list contains either 0 or 1 Event.
Return the policy for this theory.
No policy in this theory; only data.
Return all table names occurring in this theory.
Applies all of EVENTS to the DB.
Each event is either an insert or a delete.
Return a list of Policyxception.
Return a list of PolicyException if we were to apply the events EVENTS to the current policy.