Skip to content

Latest commit

 

History

History
30 lines (24 loc) · 1019 Bytes

README.md

File metadata and controls

30 lines (24 loc) · 1019 Bytes

pixy-ddb

  • Add type safety?
  • Add validation/compilation phase.
  • Measure proformance.
  • Improve proformance.
  • Add comparison predicates.
  • Add negative atoms.
  • Add aggregate functions.
  • Add uninterprated functions.
  • Store database to file?

Application

As an example/development template, use a basic chat application. Will update definition as we change it.

  • event:: Predicate [(event, Event), (at, Datetime)]
  • chat:: Predicate [(chat, Chat), (name, Chatname)]
  • participant:: Predicate [(participant, Participant), (name, ParticipantName)]
  • enter: Predicate [(event, Event), (chat, Chat), (participant, Participant)]
  • message: Predicate [(event, Event), (chat, Chat), (participant, Participant), (message, Message)]
  • exit: Predicate [(event, Event), (chat, Chat), (participant, Participant)]

Participants in chat "This chat":

  • query(name) <== chat(chat, name = "This chat") /\ enter(chat, participant) /\ participant(participant, name).