Appendix A and Appendix B discuss further possible extensions to, or variations on, the point type concept, together with certain implications of such variations for the corresponding interval types. Appendix C considers the possibility of generalizing the PACK and UNPACK operators to deal with sets (or relations) that contain something other than intervals. Appendix D provides an abbreviated grammar for Tutorial D. Appendix E discusses a variety of transformation laws and algorithms for implementing the various operators described in the body of the book (especially in Chapters 9-11). Appendix F provides an annotated list of bibliographic references.