#+Title: Common Lisp Genealogical Database Manager
#+AUTHOR: Sam Flint
#+EMAIL: swflint@flintfam.org
#+DATE: \today
#+INFOJS_OPT: view:info toc:nil path:http://flintfam.org/org-info.js
#+OPTIONS: toc:nil H:5 ':t *:t d:nil stats:nil t:nil
#+PROPERTY: noweb no-export
#+PROPERTY: comments noweb
#+LATEX_HEADER: \parskip=5pt
#+LATEX_HEADER: \lstset{texcl=true,breaklines=true,columns=fullflexible,basicstyle=\ttfamily,frame=lines,literate={lambda}{$\lambda$}{1} {set}{$\gets$}1 {setq}{$\gets$}1 {setf}{$\gets$}1 {<=}{$\leq$}1 {>=}{$\geq$}1}
#+LATEX_CLASS_OPTIONS: [10pt,twoside]
#+LATEX_HEADER: \pagestyle{headings}
#+LATEX_HEADER: \usepackage[margins=0.75in]{geometry}
#+LATEX_HEADER: \parindent=0pt

* TODO Introduction                                                   :nonum:
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:13>
:END:

* TOC                                                         :ignoreheading:
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:13>
:END:

#+TOC: headlines 3
#+TOC: listings

* WORKING Data Storage [6/8]
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:14>
:END:

One of the key components of genealogical software is the ability to effectively store information related to members of a family.  This will include things such as people, birth records, death records, marriage records, divorce records and notes.

To accomplish the storage of this information, I'm using a schema-less relational database management system called LambdaLite, which is written entirely in lisp, and uses the local file system to store data effectively.

** DONE Macros
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:16>
:END:

To accomplish the goal of storing data within the database system that is LambdaLite, I need to be able to constrain various attributes to be certain values.  To do this, instead of having to manually write code to constrain them each time, I use a few macros to do this.  These macros include:

 - constrain-values :: Constrains to be one of several values.
      This macro takes one or more arguments, and generates a function that checks to see if the argument passed to it is in any of the given values.
 - in-table-column :: Checks to see if the value is one of the values in a specific column.
      This macro takes two arguments, a table name and a column name, then generates a function which will calculate all possible values, iterating for each row in the table, getting the values in the specified column, and then testing the value passed to the function to see if it is a member of the possible values.
 - ids-in-table-column :: Checks to see if this is one of the possible IDs in a table column.
      This is done through the same mechanism as ~in-table-column~, but simply ensuring that the passed object is a) a list, and b) the elements in the list are mapped through the ~in-table-column~ result, with the values of a and be being reduced using ~and~ to produce a single boolean.
 - unique-in-column :: This checks to see whether or not the passed value is within the specified column, ensuring that it is not within it.
      This function takes three things, a table, a column and a type.  It first ensures that the passed object is of the specified type, and if it is, calculates all values currently in the specified table and column, and then checks to see that the passed object is /not/ within the list.

#+Caption: Data Storage Macros
#+Name: data-storage-macros
#+BEGIN_SRC lisp
  (defmacro constrain-values (&rest values)
    `(lambda (object)
       (the boolean
            (member object (list ,@values)))))

  (defmacro in-table-column (table column)
    `(lambda (object)
       (let ((possible-values (iter
                                (for row in (select ,table))
                                (collect (,column row)))))
         (the boolean (member object possible-values)))))

  (defmacro ids-in-table-column (table column)
    `(lambda (object)
       (let ((possible-values (iter
                                (for row in (select ,table))
                                (collect (,column row)))))
         (and (listp object)
            (reduce #'and (map 'list ,(in-table-column table column)
                             object))))))

  (defmacro unique-in-column (table column type)
    `(lambda (object)
       (if (typep object ',type)
           (let ((possible-values (iter
                                    (for row in (select ,table))
                                    (collect (,column row)))))
             (not (the boolean (member object possible-values)))))))

  (defun generate-table-id (table)
    (check-type table keyword)
    (1+ (length (select table))))
#+END_SRC

** DONE People
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:17>
:END:

This is the People table, used to store the most bare information about a person.  This includes the following:

 - ID :: The ID used to identify the person within the database.
 - Name :: The name of the person.
 - Gender :: The gender of the person.  Can be one of:
   - M
   - F
   - T
 - Father :: The person's father.  This is either an person ID, or 0 if we don't know who the father is.
 - Mother :: The person's mother.  As with father, this can be either a person ID or 0.

#+Caption: Person Table
#+Name: person-table
#+BEGIN_SRC lisp
  (defattributes
    :/person-id (unique-in-column :people :/person-id integer)
    :/person-name #'stringp
    :/gender (constrain-values "M" "F" "T")
    :/father (lambda (object)
               (or (= 0 object)
                  (funcall (in-table-column :people :/person-id) object)))
    :/mother (lambda (object)
               (or (= 0 object)
                  (funcall (in-table-column :people :/person-id) object))))
#+END_SRC

** DONE Births
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:17>
:END:

Another important thing is to be able to log births, or possible birth dates.  To do this, you need four pieces of information:

 - Birth ID :: The ID used to reference the person's birth.
 - Person :: The ID of the person born.
 - Birth Date :: When the person was born.
 - Birth Location :: Where the person was born.

#+Caption: Births Table
#+Name: births-table
#+BEGIN_SRC lisp
  (defattributes
    :/birth-id (unique-in-column :births :/birth-id integer)
    :/birth-person (in-table-column :people :/person-id)
    :/birth-date #'stringp
    :/birth-location #'stringp)
#+END_SRC

** DONE Deaths
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:17>
:END:

Furthermore, to be as complete as possible, you need to be able to store and query death information.  This includes things such as:

 - Death ID :: The ID used to track this death record.
 - Person :: The ID of the person who died.
 - Date :: When the person died.
 - Location :: Where the person died.

#+Caption: Deaths Table
#+Name: deaths-table
#+BEGIN_SRC lisp
  (defattributes
    :/death-id (unique-in-column :deaths :/death-id integer)
    :/death-person (in-table-column :people :/person-id)
    :/death-date #'stringp
    :/death-location #'stringp)
#+END_SRC

** DONE Marriages
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:17>
:END:

Further, to be able to keep track of relationships (and thus families), you need to be able to track marriages.  This entails keeping track of the following information:

 - Marriage ID :: ID used to track the marriage within this system.
 - Husband :: ID of the husband in the marriage.
 - Wife :: ID of the wife in the marriage.
 - Wedding Date :: Date the marriage was considered to have started.
 - End Date :: Date the marriage ended (Divorce, death, annulment).

#+Caption: Marriage Table
#+Name: marriage-table
#+BEGIN_SRC lisp
  (defattributes
    :/marriage-id (unique-in-column :marriages :/marriage-id integer)
    :/husband (in-table-column :people :/person-id)
    :/wife (in-table-column :people :/person-id)
    :/wedding-date #'stringp
    :/end-date #'stringp)
#+END_SRC

** DONE Divorces
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:17>
:END:

To keep track of the dissolution of marriages, and to enable correct report generation, we must keep track of divorces.  To do this, we store the following information:

 - Divorce ID :: How the divorce is referred to within the database.
 - Marriage :: The ID of the marriage the divorce terminates
 - Divorce Date :: The date the Divorce is effective.

#+Caption: Divorce Table
#+Name: divorce-table
#+BEGIN_SRC lisp
  (defattributes
    :/divorce-id (unique-in-column :divorces :/divorce-id integer)
    :/marriage (in-table-column :marriages :/marriage-id)
    :/divorce-date #'stringp)
#+END_SRC

** TODO Notes
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:17>
:END:

** TODO Common Attributes
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:18>
:END:

* WORKING Data Interface [0/10]
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:15>
:END:

** TODO Create Person
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:18>
:END:

** TODO Create Birth
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:19>
:END:

** TODO Create Death
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:19>
:END:

** TODO Create Marriages
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:19>
:END:

** TODO Create Divorce
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:19>
:END:

** TODO Get Person
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:19>
:END:

** TODO Get Birth
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:19>
:END:

** TODO Get Death
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:19>
:END:

** TODO Get Mariage
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:20>
:END:

** TODO Get Divorce
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:20>
:END:

* TODO Family Tree Display
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:14>
:END:

* TODO Ahnentafel Generation
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:14>
:END:

* TODO GEDCOM Parsing
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:15>
:END:

* WORKING Packaging [0/6]
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 13:15>
:END:

** TODO Data Storage
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 14:13>
:END:

** TODO Data Interface
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 14:14>
:END:

** TODO Family Tree
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 14:14>
:END:

** TODO Ahnentafel
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 14:14>
:END:

** TODO Gedcom Parsing
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 14:14>
:END:

** TODO ASDF
:PROPERTIES:
:CREATED:  <2016-01-06 Wed 14:14>
:END: