Enron Email Database UseCase Doc

Enron Email Database UseCase Documents

Original Enron Email Database

Schema

employee(eid, firstname, lastname, email_id, email2, email3, email4, folder, status)

• size: 149 tuples

message(mid, sender, date, message_id, subject, body, folder) 

• size: 252771 tuples

recipientinfo(rid, mid, rtype, rvalue, dater) 

• size: 2064442 tuples

referenceinfo(rfid, mid, reference) 

• size: 54778

Enron Email Variational Database

1. Schema

employee(eid, firstname, lastname, email_id, email2, email3, email4, folder, status, signature, encrypt)

• table presence condition: True
• all attribute's presence conditions are True except for signature and encrypt which have presence conditions sign and encrypt respectively.

message(mid, sender, date, message_id, subject, body, folder)

• table presence condition: True
• all attribute's precense conditions are True.

recipientinfo(rid, mid, rtype, rvalue_emial, rvalue_nickname, dater)

• table precense condition: True
• all attribute's precense conditions are True except for rvalue_email and rvalue_nickname which have precense conditions Not addressBook and addressBook respectively.

referenceinfo(rfid, mid, reference)

• table precense codition: True
• all attribute's precense conditions are True.

alias(eid, email, nickname)

• table precense codition: addressBook
• all attribute's precense conditions are True.

2. Features in Enron Email V-DB

• sign
• encrypt
• addressBook

3. Features Proposed to add

• AUTORESPONDER
  • add a new relation: autores(eid, subject, body)
• FORWARDMESSAGES
• REMAILMESSAGE
• FILTERMESSAGES
  • combine FORWARDMESSAGES, REMAILMESSAGE, FILTERMESSAGES feature into one table (? may also combine addressbook)
  • add a new relation: alias2(eid, forwardaddr, pseudonym, username)
• MAILHOST
  • add a new relation: suffixies(eid, suffix)

References

1. Fundamental Nonmodularity in Electronic Mail
2. SPLverifier: Model Checking of Software Product Lines
3. Feature-Aware Verification
4. SPL2go-Email JML
5. SPL2go-EmailSystem_C
6. SPL2go-EmailSystem_Java