阅读材料后按要求回答问题。（本题10分） 节日安排值班，甲、乙、丙、丁四人约定下列原则： ①或是甲来，或是乙来。 ②如果丙不来，则乙也不来。 ③要么丙来，要么丁来。 已知丁要来。按照上述原则中判断的逻辑关系，用有关推理推断出甲是否来值班，并写出推理过程。

对归档程序的要求有那些？