Detta dokument introducerar en generalisering av Datalog baserat på begreppet heltal periodicitet begränsningar. Ett slutet förfarande för utvärdering av formulär som körs i PTIME för denna klass av begränsningar utvecklas. Periodiciteten begränsningar kombineras sedan med heltal (gap-)order begränsningar och ett utvärderingsförfarande för kombinationen utvecklas. En allmän metod för att kombinera olika kategorier av begränsningar inom ramen för Datalog diskuteras också.
Dataloggen utökades med heltals periodicitet och gap-order begränsningar i REF; sådana begränsningar möjliggör representation av oändliga periodiska fenomen.
Datalog with Integer Periodicity Constraints
{'venue': 'Proc. 1994 International Logic Programming Symposium', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}